force top panel to be visible

arduino · fstasi · Oct 6, 2021 · Aug 26, 2021 · Aug 27, 2021 · Aug 27, 2021
commit b21d0a4212a8e6043f31aaf0bb2cf89cd883a7ca
diff --git 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,
+  Panel,
   Widget,
 } from '@theia/core/lib/browser';
 import { Sketch } from '../../../common/protocol';
@@ -72,6 +73,13 @@ export class ApplicationShell extends TheiaApplicationShell {
     return super.addWidget(widget, { ...options, ref });
   }
 
+  // Avoid hiding top panel as we use it for arduino toolbar
+  protected createTopPanel(): Panel {
+    const topPanel = super.createTopPanel();
+    topPanel.show();
+    return topPanel;
+  }
+
   async saveAll(): Promise<void> {
     if (
       this.connectionStatusService.currentStatus === ConnectionStatus.OFFLINE