How to use the @theia/core/lib/browser/preferences.createPreferenceProxy function in @theia/core

To help you get started, we’ve selected a few @theia/core 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.

github eclipse-theia / theia / packages / search-in-workspace / src / browser / search-in-workspace-preferences.ts View on Github external
export function createSearchInWorkspacePreferences(preferences: PreferenceService): SearchInWorkspacePreferences {
    return createPreferenceProxy(preferences, searchInWorkspacePreferencesSchema);
}
github eclipse-theia / theia / packages / output / src / common / output-preferences.ts View on Github external
export function createOutputPreferences(preferences: PreferenceService): OutputPreferences {
    return createPreferenceProxy(preferences, OutputConfigSchema);
}
github eclipse-theia / theia / packages / editor / src / browser / editor-preferences.ts View on Github external
export function createEditorPreferences(preferences: PreferenceService): EditorPreferences {
    return createPreferenceProxy(preferences, editorPreferenceSchema);
}
github eclipse-theia / theia / packages / workspace / src / browser / workspace-preferences.ts View on Github external
export function createWorkspacePreferences(preferences: PreferenceService): WorkspacePreferences {
    return createPreferenceProxy(preferences, workspacePreferenceSchema);
}
github eclipse-theia / theia / packages / messages / src / browser / notification-preferences.ts View on Github external
export function createNotificationPreferences(preferences: PreferenceService): NotificationPreferences {
    return createPreferenceProxy(preferences, NotificationConfigSchema);
}
github eclipse-theia / theia / packages / filesystem / src / browser / filesystem-preferences.ts View on Github external
export function createFileSystemPreferences(preferences: PreferenceService): FileSystemPreferences {
    return createPreferenceProxy(preferences, filesystemPreferenceSchema);
}
github eclipse-theia / theia / packages / filesystem / src / browser / filesystem-preferences.ts View on Github external
export function createFileSystemPreferences(preferences: PreferenceService): FileSystemPreferences {
    return createPreferenceProxy(preferences, filesystemPreferenceSchema);
}