File tree Expand file tree Collapse file tree 1 file changed +8
-0
lines changed
arduino-ide-extension/src/browser/theia/core Expand file tree Collapse file tree 1 file changed +8
-0
lines changed Original file line number Diff line number Diff line change 9
9
} from '@theia/core/lib/browser/connection-status-service' ;
10
10
import {
11
11
ApplicationShell as TheiaApplicationShell ,
12
+ Panel ,
12
13
Widget ,
13
14
} from '@theia/core/lib/browser' ;
14
15
import { Sketch } from '../../../common/protocol' ;
@@ -72,6 +73,13 @@ export class ApplicationShell extends TheiaApplicationShell {
72
73
return super . addWidget ( widget , { ...options , ref } ) ;
73
74
}
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
+
75
83
async saveAll ( ) : Promise < void > {
76
84
if (
77
85
this . connectionStatusService . currentStatus === ConnectionStatus . OFFLINE
You can’t perform that action at this time.
0 commit comments