From 221af2181c80798bc66b389d595ecbc1b363d973 Mon Sep 17 00:00:00 2001 From: Soeren Domroes Date: Fri, 12 Jul 2024 15:38:18 +0200 Subject: [PATCH] Add simulation restart button and correct button when. --- keith-vscode/package.json | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) 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",