begin drawing file browser text

2024-09-27 10:06:21 +01:00
parent 6fa88769aa
commit be379e1fe0
7 changed files with 79 additions and 10 deletions
--- a/message-types/draw-msg.sml
+++ b/message-types/draw-msg.sml
@@ -12,6 +12,7 @@ sig
      , dots: Real32.real vector
      }
  | CLEAR_DOTS
+  | DRAW_MODAL_TEXT of Real32.real vector
 end

 structure DrawMessage :> DRAW_MESSAGE =
@@ -28,4 +29,5 @@ struct
      , dots: Real32.real vector
      }
  | CLEAR_DOTS
+  | DRAW_MODAL_TEXT of Real32.real vector
 end