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

ATL-546: Added UI for settings.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2021-01-23 14:57:21 +01:00
committed by Akos Kitta
parent 1742c53015
commit 1f544b2656
24 changed files with 1374 additions and 159 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
arduino-ide-extension/src/browser/theia/editor/editor-manager.ts
View File

@@ -24,13 +24,7 @@ export class EditorManager extends TheiaEditorManager {
}
protected async isReadOnly(uri: URI): Promise<boolean> {
const [config, configFileUri] = await Promise.all([
this.configService.getConfiguration(),
this.configService.getCliConfigFileUri()
]);
if (new URI(configFileUri).toString(true) === uri.toString(true)) {
return false;
}
const config = await this.configService.getConfiguration();
return new URI(config.dataDirUri).isEqualOrParent(uri)
}

6
arduino-ide-extension/src/browser/theia/preferences/preferences-contribution.ts
View File

@@ -15,11 +15,7 @@ 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+,',
});
registry.unregisterKeybinding(CommonCommands.OPEN_PREFERENCES.id);
}
}