We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 69023b8 commit b21d0a4Copy full SHA for b21d0a4
arduino-ide-extension/src/browser/theia/core/application-shell.ts
@@ -9,6 +9,7 @@ import {
9
} from '@theia/core/lib/browser/connection-status-service';
10
import {
11
ApplicationShell as TheiaApplicationShell,
12
+ Panel,
13
Widget,
14
} from '@theia/core/lib/browser';
15
import { Sketch } from '../../../common/protocol';
@@ -72,6 +73,13 @@ export class ApplicationShell extends TheiaApplicationShell {
72
73
return super.addWidget(widget, { ...options, ref });
74
}
75
76
+ // Avoid hiding top panel as we use it for arduino toolbar
77
+ protected createTopPanel(): Panel {
78
+ const topPanel = super.createTopPanel();
79
+ topPanel.show();
80
+ return topPanel;
81
+ }
82
+
83
async saveAll(): Promise<void> {
84
if (
85
this.connectionStatusService.currentStatus === ConnectionStatus.OFFLINE
0 commit comments