record and act on selected keys in options (except for save button and cancel button which are not acted upon)

2025-02-21 14:46:54 +00:00
parent 20338996b8
commit b2f58f1c9a
5 changed files with 311 additions and 27 deletions
--- a/fcore/options/options-vec.sml
+++ b/fcore/options/options-vec.sml
@@ -7,8 +7,13 @@ struct
   * the branch prediction cost *)
  fun drawLeftKey (options, width, height) =
    let
-      val acc = MakeTextVec.make
-        (155, 35, width, height, "Left key", 0.3, 0.3, 0.7, [])
+      val acc =
+        if #isSelected options then
+          MakeTextVec.make
+            (155, 35, width, height, "Left key", 0.7, 0.7, 0.3, [])
+        else
+          MakeTextVec.make
+            (155, 35, width, height, "Left key", 0.3, 0.3, 0.7, [])

      val acc = MakeTextVec.make
        (155, 95, width, height, "Right key", 0.0, 0.0, 0.0, acc)