log exceptions that occur to a local file

2025-08-04 06:23:52 +01:00
parent 528aea59a1
commit 83634ef20e
3 changed files with 40 additions and 15 deletions
--- a/shell/gl-draw.sml
+++ b/shell/gl-draw.sml
@@ -229,9 +229,7 @@ struct
    end

  fun yank (shellState: t, str) =
-    ( Glfw.setClipboardString (#window shellState, str);
-      shellState
-    )
+    (Glfw.setClipboardString (#window shellState, str); shellState)

  fun consumeDrawEvent (shellState, msg) =
    let