From f7fb74441f4d33660b1050c3b9c1760be0c8e798 Mon Sep 17 00:00:00 2001
From: Francesco Stasi <f.stasi@me.com>
Date: Fri, 12 Mar 2021 00:01:57 +0100
Subject: [PATCH] move settings from sidebar to arduino pref panel

Improved preference Dialog UI
---
 .../src/browser/arduino-frontend-contribution.tsx                | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx b/arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx
index 092834fca..9935e11d6 100644
--- a/arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx
+++ b/arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx
@@ -222,6 +222,7 @@ export class ArduinoFrontendContribution implements FrontendApplicationContribut
                 webContents.setZoomLevel(event.newValue || 0);
             }
         });
+        app.shell.leftPanelHandler.removeMenu('settings-menu');
     }
 
     protected languageServerFqbn?: string;