From 88631a318bc6f8628cdfa7203dadd00c67303f47 Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Sat, 18 Jul 2020 15:54:08 +0200 Subject: [PATCH] aligned `track` to current theia. Signed-off-by: Akos Kitta --- .../src/browser/customization/core/application-shell.ts | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/arduino-ide-extension/src/browser/customization/core/application-shell.ts b/arduino-ide-extension/src/browser/customization/core/application-shell.ts index 9eed54e2..3da1b2ea 100644 --- a/arduino-ide-extension/src/browser/customization/core/application-shell.ts +++ b/arduino-ide-extension/src/browser/customization/core/application-shell.ts @@ -15,10 +15,9 @@ export class ApplicationShell extends TheiaApplicationShell { @inject(CommandService) protected readonly commandService: CommandService; - protected async track(widget: Widget): Promise { - if (this.editorMode.proMode) { - super.track(widget); - } else { + protected track(widget: Widget): void { + super.track(widget); + if (!this.editorMode.proMode) { if (widget instanceof EditorWidget && widget.editor.uri.toString().endsWith('arduino-cli.yaml')) { return; }