Merge pull request #99 from kieler/sdo/simulationButtons

Add simulation restart button and keep buttons in view when simulation has stopped
kieler · Jul 12, 2024 · 5531c77 · 5531c77
2 parents 4270327 + 221af21
commit 5531c77
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/keith-vscode/package.json b/keith-vscode/package.json
@@ -506,19 +506,24 @@
         },
         {
           "command": "keith-vscode.open-kviz-external",
-          "when": "keith.vscode:simulationRunning && view == kieler-simulation-table",
+          "when": "view == kieler-simulation-table",
           "group": "1_simulation-visualization"
         },
         {
           "command": "keith-vscode.simulation-save-trace",
-          "when": "keith.vscode:simulationRunning && view == kieler-simulation-table",
+          "when": "view == kieler-simulation-table",
           "group": "2_simulation-trace@1"
         },
         {
           "command": "keith-vscode.simulation-load-trace",
-          "when": "keith.vscode:simulationRunning && view == kieler-simulation-table",
+          "when": "view == kieler-simulation-table",
           "group": "2_simulation-trace@2"
         },
+        {
+          "command": "keith-vscode.simulation-restart",
+          "when": "!keith.vscode:simulationRunning && view == kieler-simulation-table",
+          "group": "navigation@2"
+        },
         {
           "command": "keith-vscode.verification-load-properties",
           "when": "view == kieler-model-checker",