mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-25 20:26:38 +00:00
From now on the user can toggle the bottom panel.
It was disabled in classic mode. Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
parent
2eab9a0792
commit
55ce04fe3f
@ -15,12 +15,6 @@ export class ArduinoApplicationShell extends ApplicationShell {
|
|||||||
@inject(CommandService)
|
@inject(CommandService)
|
||||||
protected readonly commandService: CommandService;
|
protected readonly commandService: CommandService;
|
||||||
|
|
||||||
protected refreshBottomPanelToggleButton() {
|
|
||||||
if (this.editorMode.proMode) {
|
|
||||||
super.refreshBottomPanelToggleButton();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
protected async track(widget: Widget): Promise<void> {
|
protected async track(widget: Widget): Promise<void> {
|
||||||
if (this.editorMode.proMode) {
|
if (this.editorMode.proMode) {
|
||||||
super.track(widget);
|
super.track(widget);
|
||||||
|
Loading…
x
Reference in New Issue
Block a user