jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-16 21:59:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add keymaps customization support

Browse Source
This commit is contained in:
Francesco Stasi
2021-03-17 10:04:46 +01:00
committed by Francesco Stasi
parent cdd5cfdfc1
commit 562b77aec3
9 changed files with 1050 additions and 860 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
arduino-ide-extension/src/electron-browser/theia/core/electron-main-menu-factory.ts
View File

@@ -26,15 +26,17 @@ export class ElectronMainMenuFactory extends TheiaElectronMainMenuFactory {
const { submenu } = super.createOSXMenu();
const label = 'Arduino IDE';
if (!!submenu && !(submenu instanceof remote.Menu)) {
const [/* about */, /* settings */, ...rest] = submenu;
const [/* about */, /* preferences */, ...rest] = submenu;
const about = this.fillMenuTemplate([], this.menuProvider.getMenu(ArduinoMenus.HELP__ABOUT_GROUP));
const settings = this.fillMenuTemplate([], this.menuProvider.getMenu(ArduinoMenus.FILE__SETTINGS_GROUP));
const preferences = this.fillMenuTemplate([], this.menuProvider.getMenu(ArduinoMenus.FILE__PREFERENCES_GROUP));
const advanced = this.fillMenuTemplate([], this.menuProvider.getMenu(ArduinoMenus.FILE__ADVANCED_GROUP));
return {
label,
submenu: [
...about,
{ type: 'separator' },
...settings,
...preferences,
...advanced,
{ type: 'separator' },
...rest
]