From b7204696cfb25450849ac9efdeaa5d2f524c3358 Mon Sep 17 00:00:00 2001
From: William Schultz <will627@comcast.net>
Date: Fri, 12 Apr 2024 14:42:13 -0400
Subject: [PATCH] Only switch over to constants pane if they are not set

---
 js/app.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/app.js b/js/app.js
index f3c0982..68e63f5 100644
--- 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.