jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-10 02:48:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Pulled in @theia/preferences, removed @theia/cpp

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-07-20 14:24:17 +02:00
parent 23450ce863
commit 537291b494
7 changed files with 26 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
arduino-ide-extension/src/browser/theia/core/common-frontend-contribution.ts
View File

@@ -16,7 +16,9 @@ export class CommonFrontendContribution extends TheiaCommonFrontendContribution
CommonCommands.COPY_PATH,
CommonCommands.FIND,
CommonCommands.REPLACE,
CommonCommands.AUTO_SAVE
CommonCommands.AUTO_SAVE,
CommonCommands.SELECT_ICON_THEME,
CommonCommands.SELECT_COLOR_THEME
]) {
registry.unregisterMenuAction(command);
}

17
arduino-ide-extension/src/browser/theia/preferences/preference-contribution.ts Normal file
View File

@@ -0,0 +1,17 @@
import { injectable } from 'inversify';
import { KeybindingRegistry } from '@theia/core/lib/browser/keybinding';
import { PreferencesContribution as TheiaPreferencesContribution } from '@theia/preferences/lib/browser/preference-contribution';
import { CommonCommands } from '@theia/core/lib/browser';
@injectable()
export class PreferencesContribution extends TheiaPreferencesContribution {
registerKeybindings(registry: KeybindingRegistry): void {
// https://github.com/eclipse-theia/theia/issues/8202
registry.registerKeybinding({
command: CommonCommands.OPEN_PREFERENCES.id,
keybinding: 'CtrlCmd+,',
});
}
}