Only switch over to constants pane if they are not set

will62794 · Apr 12, 2024 · b720469 · b720469
1 parent 5ce2d70
commit b720469
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/js/app.js b/js/app.js
@@ -1232,7 +1232,7 @@ function onSpecParse(newText, parsedSpecTree){
 
     // Don't try to reload the spec yet if we have to instantiate constants
     // Also, switch to the appropriate pane.
-    if (!_.isEmpty(model.specConsts)) {
+    if (!_.isEmpty(model.specConsts) && _.isEmpty(model.specConstInputVals)) {
         console.log("specConsts:", model.specConsts);
         console.log("Switching to constants pane");
         // model.currPane = Pane.Constants; // TODO: Work out pane UI.