How to use @theia/preferences - 3 common examples
To help you get started, we’ve selected a few @theia/preferences examples, based on popular ways it is used in public projects.
Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.
eclipse-theia / theia / packages / cpp / src / browser / cpp-build-configurations-ui.ts View on Github 
async createConfig(): Promise {
this.commandService.executeCommand(CommonCommands.OPEN_PREFERENCES.id, PreferenceScope.Workspace);
const configs = this.cppBuildConfigurations.getConfigs().slice(0);
configs.push({ name: '', directory: '' });
await this.preferenceService.set(CPP_BUILD_CONFIGURATIONS_PREFERENCE_KEY, configs, PreferenceScope.Workspace);
}
}async createConfig(): Promise {
this.commandService.executeCommand(CommonCommands.OPEN_PREFERENCES.id, PreferenceScope.Workspace);
const configs = this.cppBuildConfigurations.getConfigs().slice(0);
configs.push({ name: '', directory: '' });
await this.preferenceService.set(CPP_BUILD_CONFIGURATIONS_PREFERENCE_KEY, configs, PreferenceScope.Workspace);
}
}export function createCppPreferences(preferences: PreferenceService): CppPreferences {
return createPreferenceProxy(preferences, defaultCppConfiguration, CppConfigSchema);
}@theia/preferences
Theia - Preferences Extension
