undo implemented and working fine

This commit is contained in:
2024-08-08 21:35:48 +01:00
parent 5c7c61586a
commit 89f4ae3b13
6 changed files with 164 additions and 16 deletions

View File

@@ -2,9 +2,12 @@ signature DRAW_MESSAGE =
sig
datatype t =
DRAW_BUTTON of Real32.real vector
| DRAW_TRIANGLES_AND_BUTTONS of
{triangles: Real32.real vector, buttons: Real32.real vector}
| DRAW_TRIANGLES_AND_RESET_BUTTONS of Real32.real vector
| RESIZE_TRIANGLES_BUTTONS_AND_GRAPH of
{triangles: Real32.real vector, graphLines: Real32.real vector}
| CLEAR_BUTTONS
| NO_DRAW
end
@@ -12,8 +15,11 @@ structure DrawMessage :> DRAW_MESSAGE =
struct
datatype t =
DRAW_BUTTON of Real32.real vector
| DRAW_TRIANGLES_AND_BUTTONS of
{triangles: Real32.real vector, buttons: Real32.real vector}
| DRAW_TRIANGLES_AND_RESET_BUTTONS of Real32.real vector
| RESIZE_TRIANGLES_BUTTONS_AND_GRAPH of
{triangles: Real32.real vector, graphLines: Real32.real vector}
| CLEAR_BUTTONS
| NO_DRAW
end