From 6261ee0bde38b0077ea31a34fb7def418cd1e4f8 Mon Sep 17 00:00:00 2001 From: orosmatthew Date: Tue, 9 May 2023 17:23:11 -0400 Subject: [PATCH] [extension] Save on run and submit --- extension/bwcontest/src/problemPanel.ts | 2 ++ 1 file changed, 2 insertions(+) diff --git a/extension/bwcontest/src/problemPanel.ts b/extension/bwcontest/src/problemPanel.ts index 9ba406d..46b082e 100644 --- a/extension/bwcontest/src/problemPanel.ts +++ b/extension/bwcontest/src/problemPanel.ts @@ -86,6 +86,7 @@ export class BWPanel { webview.onDidReceiveMessage(async (data) => { switch (data.type) { case 'onSubmit': { + await vscode.workspace.saveAll(); if (!data.value) { return; } @@ -112,6 +113,7 @@ export class BWPanel { break; } case 'onRun': { + await vscode.workspace.saveAll(); if (!data.value) { return; }