Initial state selection clearer

will62794 · Feb 26, 2024 · 124da12 · 124da12
1 parent 86e0e09
commit 124da12
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/js/app.js b/js/app.js
@@ -1306,7 +1306,10 @@ function stateSelectionPane(hidden){
     return m("div", {id: "state-choices-pane", hidden: hidden}, [
         // chooseConstantsPane(),
         // m("h5", { id: "poss-next-states-title", class: "" }, (model.currTrace.length > 0) ? "Choose Next Action" : "Choose Initial State"),
-        m("div", { id: "initial-states", class: "tlc-state" }, componentNextStateChoices()),
+        m("div", { id: "initial-states", class: "tlc-state" }, [
+            model.currTrace.length === 0 ? m("div", {style: "padding:6px;"}, "Choose Initial State") : m("span"),
+            componentNextStateChoices()
+        ]),
     ]);    
 }