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

updated to 1.14.0 theia.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-07-31 08:58:20 +02:00
parent 8ab70f48f8
commit 06c3015158
4 changed files with 493 additions and 450 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/browser/theia/preferences/preference-contribution.ts → arduino-ide-extension/src/browser/theia/preferences/preferences-contribution.ts
View File

@@ -3,7 +3,7 @@ import { isOSX } from '@theia/core/lib/common/os';
import { MenuModelRegistry } from '@theia/core/lib/common/menu';
import { KeybindingRegistry } from '@theia/core/lib/browser/keybinding';
import { CommonCommands, CommonMenus } from '@theia/core/lib/browser';
import { PreferencesContribution as TheiaPreferencesContribution } from '@theia/preferences/lib/browser/preference-contribution';
import { PreferencesContribution as TheiaPreferencesContribution } from '@theia/preferences/lib/browser/preferences-contribution';
@injectable()
export class PreferencesContribution extends TheiaPreferencesContribution {