2025-04-22 20:49:56 +01:00
|
|
|
structure InputMsg =
|
2025-08-07 12:20:57 +01:00
|
|
|
struct
|
|
|
|
|
datatype t =
|
|
|
|
|
CHAR_EVENT of char
|
|
|
|
|
| KEY_ESC
|
2025-08-31 02:41:37 +01:00
|
|
|
| KEY_ENTER
|
2025-09-01 02:52:05 +01:00
|
|
|
| KEY_BACKSPACE
|
2025-08-07 12:20:57 +01:00
|
|
|
| RESIZE_EVENT of int * int
|
2025-09-01 11:23:45 +01:00
|
|
|
| ARROW_LEFT
|
|
|
|
|
| ARROW_UP
|
|
|
|
|
| ARROW_RIGHT
|
|
|
|
|
| ARROW_DOWN
|
2025-08-07 12:20:57 +01:00
|
|
|
end
|