mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-07 19:36:33 +00:00
move settings from sidebar to arduino pref panel
Improved preference Dialog UI
This commit is contained in:
parent
ef03d3f583
commit
e90fa27ebf
@ -222,6 +222,7 @@ export class ArduinoFrontendContribution implements FrontendApplicationContribut
|
||||
webContents.setZoomLevel(event.newValue || 0);
|
||||
}
|
||||
});
|
||||
app.shell.leftPanelHandler.removeMenu('settings-menu');
|
||||
}
|
||||
|
||||
protected languageServerFqbn?: string;
|
||||
|
Loading…
x
Reference in New Issue
Block a user