2024-07-30 19:04:36 +01:00
|
|
|
signature INPUT_MESSAGE =
|
2024-07-30 17:10:48 +01:00
|
|
|
sig
|
|
|
|
|
datatype t =
|
2024-08-01 21:17:39 +01:00
|
|
|
MOUSE_MOVE of {x: Real32.real, y: Real32.real}
|
2024-07-30 17:10:48 +01:00
|
|
|
| MOUSE_LEFT_CLICK
|
|
|
|
|
| MOUSE_LEFT_RELEASE
|
2024-08-01 23:33:54 +01:00
|
|
|
| RESIZE_WINDOW of {width: int, height: int}
|
2024-08-08 06:34:40 +01:00
|
|
|
| UNDO_ACTION
|
2024-08-08 23:43:38 +01:00
|
|
|
| REDO_ACTION
|
2024-08-14 02:31:28 +01:00
|
|
|
| KEY_G
|
2024-08-29 00:05:30 +01:00
|
|
|
| KEY_CTRL_S
|
2024-08-29 05:21:04 +01:00
|
|
|
| KEY_CTRL_L
|
2024-08-29 05:38:58 +01:00
|
|
|
| USE_TRIANGLES of AppType.triangle list
|
|
|
|
|
| TRIANGLES_LOAD_ERROR
|
2024-07-30 17:10:48 +01:00
|
|
|
end
|
|
|
|
|
|
2024-07-30 19:04:36 +01:00
|
|
|
structure InputMessage :> INPUT_MESSAGE =
|
2024-07-30 17:10:48 +01:00
|
|
|
struct
|
|
|
|
|
datatype t =
|
2024-08-01 21:17:39 +01:00
|
|
|
MOUSE_MOVE of {x: Real32.real, y: Real32.real}
|
2024-07-30 17:10:48 +01:00
|
|
|
| MOUSE_LEFT_CLICK
|
|
|
|
|
| MOUSE_LEFT_RELEASE
|
2024-08-01 23:33:54 +01:00
|
|
|
| RESIZE_WINDOW of {width: int, height: int}
|
2024-08-08 06:34:40 +01:00
|
|
|
| UNDO_ACTION
|
2024-08-08 23:43:38 +01:00
|
|
|
| REDO_ACTION
|
2024-08-14 02:31:28 +01:00
|
|
|
| KEY_G
|
2024-08-29 00:05:30 +01:00
|
|
|
| KEY_CTRL_S
|
2024-08-29 05:21:04 +01:00
|
|
|
| KEY_CTRL_L
|
2024-08-29 05:38:58 +01:00
|
|
|
| USE_TRIANGLES of AppType.triangle list
|
|
|
|
|
| TRIANGLES_LOAD_ERROR
|
2024-07-30 17:10:48 +01:00
|
|
|
end
|