From 7c361cf2d18a8630cc5bd73632dcb49fac1f80fd Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Fri, 26 Aug 2022 12:16:44 +0200 Subject: [PATCH] Can close non-root sketch file editors. Signed-off-by: Akos Kitta --- .../src/browser/theia/core/widget-manager.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/arduino-ide-extension/src/browser/theia/core/widget-manager.ts b/arduino-ide-extension/src/browser/theia/core/widget-manager.ts index 95eb1947..2e98c2bf 100644 --- a/arduino-ide-extension/src/browser/theia/core/widget-manager.ts +++ b/arduino-ide-extension/src/browser/theia/core/widget-manager.ts @@ -13,7 +13,6 @@ import { CurrentSketch, SketchesServiceClientImpl, } from '../../../common/protocol/sketches-service-client-impl'; -import { Sketch } from '../../contributions/contribution'; @injectable() export class WidgetManager extends TheiaWidgetManager { @@ -47,7 +46,8 @@ export class WidgetManager extends TheiaWidgetManager { ...widgets: Widget[] ): void { const sketchFileUris = - CurrentSketch.isValid(sketch) && new Set(Sketch.uris(sketch)); + CurrentSketch.isValid(sketch) && + new Set([sketch.mainFileUri, ...sketch.rootFolderFileUris]); for (const widget of widgets) { if (widget instanceof OutputWidget) { this.setWidgetUncloseable(widget); // TODO: https://arduino.slack.com/archives/C01698YT7S4/p1598011990133700