fix: save dirty files before running pipeline (#918)

### Summary of Changes Save dirty files before running a pipeline. Previously, the last saved state was executed.
Safe-DS · Feb 24, 2024 · 4302ca6 · 4302ca6
1 parent b9d3641
commit 4302ca6
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/packages/safe-ds-vscode/package.json b/packages/safe-ds-vscode/package.json
@@ -120,7 +120,7 @@
         "menus": {
             "editor/title/run": [
                 {
-                    "command": "extension.safe-ds.runPipelineFile",
+                    "command": "safe-ds.runPipelineFile",
                     "when": "resourceLangId == safe-ds",
                     "group": "navigation@1"
                 }
@@ -133,7 +133,7 @@
         },
         "commands": [
             {
-                "command": "extension.safe-ds.runPipelineFile",
+                "command": "safe-ds.runPipelineFile",
                 "title": "Run Pipeline",
                 "category": "Safe-DS",
                 "icon": "$(play)"

diff --git a/packages/safe-ds-vscode/src/extension/mainClient.ts b/packages/safe-ds-vscode/src/extension/mainClient.ts
@@ -153,9 +153,7 @@ const registerVSCodeCommands = function (context: vscode.ExtensionContext) {
         });
     };
 
-    context.subscriptions.push(
-        vscode.commands.registerCommand('extension.safe-ds.runPipelineFile', commandRunPipelineFile),
-    );
+    context.subscriptions.push(vscode.commands.registerCommand('safe-ds.runPipelineFile', commandRunPipelineFile));
 
     context.subscriptions.push(
         registerCommandWithCheck('safe-ds.runEdaFromContext', () => {
@@ -344,6 +342,7 @@ const runPipelineFile = async function (filePath: vscode.Uri | undefined, pipeli
 };
 
 const commandRunPipelineFile = async function (filePath: vscode.Uri | undefined) {
+    await vscode.workspace.saveAll();
     await runPipelineFile(filePath, crypto.randomUUID());
 };