replace nth with nth_opt in stepper selection

hazelgrove · Nov 26, 2024 · c3a2805 · c3a2805
1 parent 856323e
commit c3a2805
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 6 deletions.
diff --git a/src/haz3lweb/view/StepperView.re b/src/haz3lweb/view/StepperView.re
@@ -345,16 +345,18 @@ module Selection = {
     Cursor.(
       switch (selection) {
       | A(n, editor_selection) =>
-        let a: Model.a = mr.history |> Aba.get_as |> List.nth(_, n);
+        let a: option(Model.a) =
+          mr.history |> Aba.get_as |> List.nth_opt(_, n);
         switch (a) {
-        | Calculated(a) =>
+        | Some(Calculated(a)) =>
           let+ x =
             StepperEditor.Selection.get_cursor_info(
               ~selection=editor_selection,
               a.editor |> Calc.get_value,
             );
           Update.StepperEditor(n, x);
-        | Pending => empty
+        | None
+        | Some(Pending) => empty
         };
       }
     );
@@ -363,17 +365,18 @@ module Selection = {
   let handle_key_event =
       (~selection: t, ~event, mr: Model.t): option(Update.t) => {
     let A(i, s) = selection;
-    let a: Model.a = mr.history |> Aba.get_as |> List.nth(_, i);
+    let a: option(Model.a) = mr.history |> Aba.get_as |> List.nth_opt(_, i);
     switch (a) {
-    | Calculated(a) =>
+    | Some(Calculated(a)) =>
       let+ x =
         StepperEditor.Selection.handle_key_event(
           ~selection=s,
           a.editor |> Calc.get_value,
           event,
         );
       Update.StepperEditor(i, x);
-    | Pending => None
+    | Some(Pending)
+    | None => None
     };
   };
 };

diff --git a/src/haz3lweb/www/style/dynamics.css b/src/haz3lweb/www/style/dynamics.css
@@ -323,6 +323,10 @@ svg.tile-next-step {
   filter: drop-shadow(1px 1px var(--G2));
 }
 
+svg.tile-taken-step {
+  filter: drop-shadow(1px 1px var(--BR1));
+}
+
 .cell-result .code {
   pointer-events: none;
 }