diff --git a/arduino-ide-extension/src/browser/customization/arduino-application-shell.ts b/arduino-ide-extension/src/browser/customization/arduino-application-shell.ts index 73eaf4c6..f6c057f4 100644 --- a/arduino-ide-extension/src/browser/customization/arduino-application-shell.ts +++ b/arduino-ide-extension/src/browser/customization/arduino-application-shell.ts @@ -15,12 +15,6 @@ export class ArduinoApplicationShell extends ApplicationShell { @inject(CommandService) protected readonly commandService: CommandService; - protected refreshBottomPanelToggleButton() { - if (this.editorMode.proMode) { - super.refreshBottomPanelToggleButton(); - } - } - protected async track(widget: Widget): Promise { if (this.editorMode.proMode) { super.track(widget);