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
parent 9ffc19ef24
commit 3472ff3c1c
2 changed files with 11 additions and 0 deletions
--- a/message-types/input-msg.sml
+++ b/message-types/input-msg.sml
@@ -15,6 +15,8 @@ sig
  | ARROW_LEFT
  | ARROW_RIGHT
  | ARROW_DOWN
+  | KEY_ENTER
+  | KEY_SPACE
  | USE_TRIANGLES of AppType.triangle list
  | TRIANGLES_LOAD_ERROR
 end
@@ -36,6 +38,8 @@ struct
  | ARROW_LEFT
  | ARROW_RIGHT
  | ARROW_DOWN
+  | KEY_ENTER
+  | KEY_SPACE
  | USE_TRIANGLES of AppType.triangle list
  | TRIANGLES_LOAD_ERROR
 end