thunk printing

hazelgrove · Nov 13, 2024 · 0702e60 · 0702e60
1 parent 741bd85
commit 0702e60
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 4 deletions.
diff --git a/src/haz3lweb/app/Cursor.re b/src/haz3lweb/app/Cursor.re
@@ -1,6 +1,6 @@
 type cursor('update) = {
   info: option(Haz3lcore.Info.t),
-  selected_text: option(string),
+  selected_text: option(unit => string),
   editor: option(Haz3lcore.Editor.t),
   editor_action: Haz3lcore.Action.t => option('update),
   undo_action: option('update),

diff --git a/src/haz3lweb/app/Page.re b/src/haz3lweb/app/Page.re
@@ -333,11 +333,15 @@ module View = {
         Effect.Ignore;
       }),
       Attr.on_copy(_ => {
-        JsUtil.copy(cursor.selected_text |> Option.value(~default=""));
+        JsUtil.copy(
+          (cursor.selected_text |> Option.value(~default=() => ""))(),
+        );
         Effect.Ignore;
       }),
       Attr.on_cut(_ => {
-        JsUtil.copy(cursor.selected_text |> Option.value(~default=""));
+        JsUtil.copy(
+          (cursor.selected_text |> Option.value(~default=() => ""))(),
+        );
         Option.map(
           inject,
           Selection.handle_key_event(

diff --git a/src/haz3lweb/app/editors/code/CodeWithStatics.re b/src/haz3lweb/app/editors/code/CodeWithStatics.re
@@ -31,7 +31,7 @@ module Model = {
   let get_cursor_info = (model: t): Cursor.cursor(Action.t) => {
     info: Indicated.ci_of(model.editor.state.zipper, model.statics.info_map),
     selected_text:
-      Some(Printer.to_string_selection(model.editor.state.zipper)),
+      Some(() => Printer.to_string_selection(model.editor.state.zipper)),
     editor: Some(model.editor),
     editor_action: x => Some(x),
     undo_action: None,