- {timestamp}
- {data.lines[index].message}
+
+ {timestamp}
+ {data.lines[index].message}
+
)) ||
null
diff --git a/arduino-ide-extension/src/browser/style/settings-dialog.css b/arduino-ide-extension/src/browser/style/settings-dialog.css
index 15b5f5bd6..44a641943 100644
--- a/arduino-ide-extension/src/browser/style/settings-dialog.css
+++ b/arduino-ide-extension/src/browser/style/settings-dialog.css
@@ -57,3 +57,7 @@
display: flex;
justify-content: center;
}
+
+.p-Widget.dialogOverlay .dialogBlock .dialogContent.additional-urls-dialog {
+ display: block;
+}
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 2ed449065..eb419dcec 100644
--- a/arduino-ide-extension/src/browser/theia/core/application-shell.ts
+++ b/arduino-ide-extension/src/browser/theia/core/application-shell.ts
@@ -9,6 +9,7 @@ import {
} from '@theia/core/lib/browser/connection-status-service';
import {
ApplicationShell as TheiaApplicationShell,
+ DockPanel,
Panel,
Widget,
} from '@theia/core/lib/browser';
@@ -16,6 +17,7 @@ import { Sketch } from '../../../common/protocol';
import { SaveAsSketch } from '../../contributions/save-as-sketch';
import { SketchesServiceClientImpl } from '../../../common/protocol/sketches-service-client-impl';
import { nls } from '@theia/core/lib/common';
+import URI from '@theia/core/lib/common/uri';
@injectable()
export class ApplicationShell extends TheiaApplicationShell {
@@ -40,6 +42,9 @@ export class ApplicationShell extends TheiaApplicationShell {
// Make the editor un-closeable asynchronously.
this.sketchesServiceClient.currentSketch().then((sketch) => {
if (sketch) {
+ if (!this.isSketchFile(widget.editor.uri, sketch.uri)) {
+ return;
+ }
if (Sketch.isInSketch(widget.editor.uri, sketch)) {
widget.title.closable = false;
}
@@ -48,6 +53,14 @@ export class ApplicationShell extends TheiaApplicationShell {
}
}
+ private isSketchFile(uri: URI, sketchUriString: string): boolean {
+ const sketchUri = new URI(sketchUriString);
+ if (uri.parent.isEqual(sketchUri)) {
+ return true;
+ }
+ return false;
+ }
+
async addWidget(
widget: Widget,
options: Readonly