|
|
541fdd877f
|
fix minor compiler errors
|
2024-08-08 23:45:24 +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 |
|
|
|
10b3617689
|
add redo stack, and adjust functions to clear it when new triangle or triangle_stage is added; when an undo function is called, the undoHd becomes the redoHd, and undo becomes undoTl, which is expected behaviour. Still need to implement REDO_ACTION though.
|
2024-08-08 23:10:38 +01:00 |
|
|
|
4243e4c679
|
refactor a little bit, making signature of app-update.sml simpler to use by storing mouseX and mouseY inside the app_type
|
2024-08-08 21:58:50 +01:00 |
|
|
|
89f4ae3b13
|
undo implemented and working fine
|
2024-08-08 21:35:48 +01:00 |
|
|
|
5c7c61586a
|
scaffolding in preparation for implementing undo
|
2024-08-08 06:34:40 +01:00 |
|
|
|
a53c5e1ce3
|
restore imperative shell
|
2024-08-08 05:56:20 +01:00 |
|
|
|
894dca2017
|
begin refactoring
|
2024-08-08 00:18:03 +01:00 |
|
|
|
ea5bbe2075
|
change clickable range
|
2024-08-06 07:38:46 +01:00 |
|
|
|
ef8852350c
|
remove print statement which is now unnecessary
|
2024-08-03 12:07:24 +01:00 |
|
|
|
7a6722cf60
|
done with resize functionality
|
2024-08-03 07:10:38 +01:00 |
|
|
|
82db7521b4
|
amend clickPoints when windowHeight > windowWidth
|
2024-08-03 06:42:46 +01:00 |
|
|
|
0d1ea9444b
|
refactor to allow graph lines to be shown at start up
|
2024-08-03 06:05:26 +01:00 |
|
|
|
ee2274ffbc
|
improve generated graph lines, so it aligns perfectly with clickPoints (but there are two 'todo' notes: one when the height is greather than the width, and also the constant vector when the program starts is an empty vector)
|
2024-08-03 04:40:53 +01:00 |
|
|
|
5a14f5300b
|
done with code to generate graph lines (but I still need to send new graph lines vector as a DrawMsg)
|
2024-08-03 02:56:45 +01:00 |
|
|
|
d946addb81
|
fix bug in wrong parameter sent to 'genClickPoints' function (code was previously sending 0, when it was meant to be passing the 'wStart' variable)
|
2024-08-03 02:48:00 +01:00 |
|
|
|
57c21448e7
|
add and improve code to generate graphLines dynamically
|
2024-08-03 02:31:35 +01:00 |
|
|
|
6c444696d4
|
progress with resizing (triangle and button are always horizontally centred if windowWidth is greater than windowHeight, or windowHeight is greather than windowWidth)
|
2024-08-02 13:35:48 +01:00 |
|
|
|
7a584fea3c
|
progress towards resizing
|
2024-08-02 12:46:00 +01:00 |
|
|
|
cff2b4f8df
|
progress towards resizing
|
2024-08-02 05:58:22 +01:00 |
|
|
|
98f6c63b05
|
correctly generate click points dynamically, even when window resolution is not a square
|
2024-08-02 03:09:59 +01:00 |
|
|
|
b01637ba3b
|
a little refactoring
|
2024-08-02 00:05:24 +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 |
|
|
|
c5d9ed4c69
|
add clickPoints to app-type so we are able to change those points at runtime
|
2024-08-01 21:39:09 +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 |
|
|
|
39b8b45b45
|
rename to dotscape
|
2024-08-01 20:52:20 +01:00 |
|
