mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-10-14 13:58:31 +00:00
dd76f9180c
* Update Theia to 1.19.0 * update CLI to 0.20.0-rc3 * Add language selector to settings * updated language server and vscode-arduino-tools * update Language Server flags * get cli port from config * force native menu on windows * pinned Language Server to rc2 * fix search icon * update CLI version
23 lines
768 B
TypeScript
23 lines
768 B
TypeScript
import { injectable } from 'inversify';
|
|
import { MenuModelRegistry } from '@theia/core';
|
|
import {
|
|
KeymapsFrontendContribution as TheiaKeymapsFrontendContribution,
|
|
KeymapsCommands,
|
|
} from '@theia/keymaps/lib/browser/keymaps-frontend-contribution';
|
|
import { ArduinoMenus } from '../../menu/arduino-menus';
|
|
import { nls } from '@theia/core/lib/common';
|
|
|
|
@injectable()
|
|
export class KeymapsFrontendContribution extends TheiaKeymapsFrontendContribution {
|
|
registerMenus(menus: MenuModelRegistry): void {
|
|
menus.registerMenuAction(ArduinoMenus.FILE__ADVANCED_SUBMENU, {
|
|
commandId: KeymapsCommands.OPEN_KEYMAPS.id,
|
|
label: nls.localize(
|
|
'vscode/helpActions/miKeyboardShortcuts',
|
|
'Keyboard Shortcuts'
|
|
),
|
|
order: '1',
|
|
});
|
|
}
|
|
}
|