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 2e9e8c39..aee7cb2c 100644 --- a/arduino-ide-extension/src/browser/theia/core/application-shell.ts +++ b/arduino-ide-extension/src/browser/theia/core/application-shell.ts @@ -34,7 +34,7 @@ export class ApplicationShell extends TheiaApplicationShell { super.setLayoutData(layoutData); } - track(widget: Widget): void { + protected track(widget: Widget): void { if (!this.editorMode.proMode && this.sketch && widget instanceof EditorWidget) { if (Sketch.isInSketch(widget.editor.uri, this.sketch)) { widget.title.closable = false; @@ -43,7 +43,6 @@ export class ApplicationShell extends TheiaApplicationShell { super.track(widget); } - async saveAll(): Promise { await super.saveAll(); await this.commandService.executeCommand(SaveAsSketch.Commands.SAVE_AS_SKETCH.id, { execOnlyIfTemp: true, openAfterMove: true });