diff --git a/keith-vscode/package.json b/keith-vscode/package.json
index 9909973..2c9702b 100644
--- 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",