Fix stepper pointer events

hazelgrove · May 21, 2024 · 7b6855f · 7b6855f
1 parent da63054
commit 7b6855f
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/src/haz3lweb/view/editor/CodeEditor.re b/src/haz3lweb/view/editor/CodeEditor.re
@@ -139,6 +139,7 @@ module View = {
       ~attr=
         Attr.many([
           Attr.classes(["cell-item"]),
+          Attr.classes(["code-editor"]),
           Attr.on_mousedown(on_mousedown),
         ]),
       mousedown_overlay @ [code_view],

diff --git a/src/haz3lweb/www/style.css b/src/haz3lweb/www/style.css
@@ -362,7 +362,7 @@ body {
   width: auto;
 }
 
-#main .code-container {
+#main .code-editor {
   cursor: text;
 }
 
@@ -386,6 +386,7 @@ select {
   font-family: "Source Code Pro", monospace;
   font-weight: normal;
   font-size: 13pt;
+  pointer-events: none;
 }
 
 #editor-mode,
@@ -2370,4 +2371,9 @@ svg.expandable path {
 
 .tile-next-step .tile-path.Exp.indicated {
   fill: #8aeda6;
+}
+
+svg.tile-next-step {
+  pointer-events: all;
+  cursor: pointer;
 }