diff --git a/arduino-ide-extension/src/browser/contributions/quit-app.ts b/arduino-ide-extension/src/browser/contributions/quit-app.ts index 809c9adb..2eee530b 100644 --- a/arduino-ide-extension/src/browser/contributions/quit-app.ts +++ b/arduino-ide-extension/src/browser/contributions/quit-app.ts @@ -8,24 +8,30 @@ import { ArduinoMenus } from '../menu/arduino-menus'; export class QuitApp extends Contribution { registerCommands(registry: CommandRegistry): void { - registry.registerCommand(QuitApp.Commands.QUIT_APP, { - execute: () => remote.app.quit() - }); + if (!isOSX) { + registry.registerCommand(QuitApp.Commands.QUIT_APP, { + execute: () => remote.app.quit() + }); + } } registerMenus(registry: MenuModelRegistry): void { - registry.registerMenuAction(ArduinoMenus.FILE__QUIT_GROUP, { - commandId: QuitApp.Commands.QUIT_APP.id, - label: 'Quit', - order: '0' - }); + if (!isOSX) { + registry.registerMenuAction(ArduinoMenus.FILE__QUIT_GROUP, { + commandId: QuitApp.Commands.QUIT_APP.id, + label: 'Quit', + order: '0' + }); + } } registerKeybindings(registry: KeybindingRegistry): void { - registry.registerKeybinding({ - command: QuitApp.Commands.QUIT_APP.id, - keybinding: isOSX ? 'CtrlCmd+Q' : isWindows ? 'Alt+F4' : 'Ctrl+Q' - }); + if (!isOSX) { + registry.registerKeybinding({ + command: QuitApp.Commands.QUIT_APP.id, + keybinding: isWindows ? 'Alt+F4' : 'Ctrl+Q' + }); + } } } diff --git a/arduino-ide-extension/src/browser/theia/core/common-frontend-contribution.ts b/arduino-ide-extension/src/browser/theia/core/common-frontend-contribution.ts index 577341f3..3517f6df 100644 --- a/arduino-ide-extension/src/browser/theia/core/common-frontend-contribution.ts +++ b/arduino-ide-extension/src/browser/theia/core/common-frontend-contribution.ts @@ -17,6 +17,7 @@ export class CommonFrontendContribution extends TheiaCommonFrontendContribution CommonCommands.FIND, CommonCommands.REPLACE, CommonCommands.AUTO_SAVE, + CommonCommands.OPEN_PREFERENCES, CommonCommands.SELECT_ICON_THEME, CommonCommands.SELECT_COLOR_THEME ]) {