add function which generates a drawable vector given a mouse position

2024-07-30 19:30:59 +01:00
parent b8ab605c90
commit b1b929e055
3 changed files with 23 additions and 18 deletions
--- a/dot-to-dot.mlb
+++ b/dot-to-dot.mlb
@@ -13,7 +13,11 @@ end
 message-types/input-msg.sml

 functional-core/app-type.sml
-functional-core/app-update.sml
+ann
+  "allowVectorExps true"
+in
+  functional-core/app-update.sml
+end

 ann
  "allowVectorExps true"