|
|
3472ff3c1c
|
done adding functional-core part of arrow input (now just need to adjust a bit in the imperative shell next)
|
2024-09-20 14:14:07 +01:00 |
|
|
|
9ffc19ef24
|
progress towards supporting arrow input
|
2024-09-20 12:33:31 +01:00 |
|
|
|
acd68a055d
|
code shortcut to trigger export (with <Ctrl-E>); it outputs syntatically valid .sml, but I am not sure if the output is correct as intended so it needs testing
|
2024-08-30 02:34:24 +01:00 |
|
|
|
e69c6b42ef
|
done with loading file into app (loaded triangles are visible, etc.)
|
2024-08-29 05:38:58 +01:00 |
|
|
|
2549703dc7
|
verify that parsing saved file is successful
|
2024-08-29 05:21:04 +01:00 |
|
|
|
eb13636993
|
very basic saving (hardcoded file name, which is fine fow now)
|
2024-08-29 00:05:30 +01:00 |
|
|
|
9b639c9c53
|
progress towards toggling graph
|
2024-08-14 02:31:28 +01:00 |
|
|
|
4d0d8ef0a1
|
done with functional-core logic for redo (now just need to send REDO_ACTION on key callback when shortcut is pressed)
|
2024-08-08 23:43:38 +01:00 |
|
|
|
5c7c61586a
|
scaffolding in preparation for implementing undo
|
2024-08-08 06:34:40 +01:00 |
|
|
|
13063ea2c6
|
add framebufferSize callback (FFI scaffolding and creating new variant of input_message type but don't react to this message in a meaningful way yet)
|
2024-08-01 23:33:54 +01:00 |
|
|
|
0fc6201231
|
reduce number of type conversoins required for mouse move callback (and fix the other code which uses it too)
|
2024-08-01 21:17:39 +01:00 |
|
|
|
b8ab605c90
|
code function that indicates which area, if any, was clicked
|
2024-07-30 19:04:36 +01:00 |
|
