jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-13 04:09:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: restored window.titleBarStyle

Browse Source 
Ref: #1733

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
This commit is contained in:
Akos Kitta
2023-02-09 11:34:06 +01:00
parent d68bc4abdb
commit 9ffe421fab
6 changed files with 134 additions and 65 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
arduino-ide-extension/src/browser/toolbar/arduino-toolbar-contribution.ts
View File

@@ -19,7 +19,8 @@ export class ArduinoToolbarContainer extends Widget {
this.toolbars = toolbars;
}
override onAfterAttach(msg: Message) {
override onAfterAttach(msg: Message): void {
super.onAfterAttach(msg);
for (const toolbar of this.toolbars) {
Widget.attach(toolbar, this.node);
}
@@ -56,9 +57,11 @@ export class ArduinoToolbarContribution
);
}
onStart(app: FrontendApplication) {
app.shell.addWidget(this.arduinoToolbarContainer, {
area: 'top',
});
onStart(app: FrontendApplication): void {
// eslint-disable-next-line @typescript-eslint/no-explicit-any
const options = <any>{
area: 'toolbar',
};
app.shell.addWidget(this.arduinoToolbarContainer, options);
}
}