From e90fa27ebf74b51087d6b277339e6a1e0f8b7704 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 092834fc..9935e11d 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;