From 55ce04fe3f13d4445fa20297efddda2c69fe95bb Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Wed, 15 Jul 2020 15:11:02 +0200
Subject: [PATCH] From now on the user can toggle the bottom panel.

It was disabled in classic mode.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
---
 .../src/browser/customization/arduino-application-shell.ts  | 6 ------
 1 file changed, 6 deletions(-)

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<void> {
         if (this.editorMode.proMode) {
             super.track(widget);