diff --git a/arduino-ide-extension/src/browser/theia/core/application-shell.ts b/arduino-ide-extension/src/browser/theia/core/application-shell.ts index fb94ae5c..d8767008 100644 --- a/arduino-ide-extension/src/browser/theia/core/application-shell.ts +++ b/arduino-ide-extension/src/browser/theia/core/application-shell.ts @@ -36,8 +36,8 @@ export class ApplicationShell extends TheiaApplicationShell { } } - async save(): Promise { - await super.save(); + async saveAll(): Promise { + await super.saveAll(); await this.commandService.executeCommand(SaveAsSketch.Commands.SAVE_AS_SKETCH.id, { execOnlyIfTemp: true, openAfterMove: true }); }