UNPKG

@theia/core

Version:

Theia is a cloud & desktop IDE framework implemented in TypeScript.

17 lines 882 B
import { JSONObject, JSONValue } from '@lumino/coreutils'; import { PreferenceProvider } from './preference-provider'; import { PreferenceProviderImpl } from './preference-provider-impl'; import { PreferenceScope } from './preference-scope'; /** * In-memory preference provider used for process-lifetime overrides such as those * supplied via the `--session-preference` CLI option. Values live in memory only * and are dropped when the process exits. */ export declare class SessionPreferenceProvider extends PreferenceProviderImpl implements PreferenceProvider { protected readonly preferences: Map<string, JSONValue>; protected init(): void; canHandleScope(scope: PreferenceScope): boolean; getPreferences(): JSONObject; setPreference(key: string, value: JSONValue | undefined): Promise<boolean>; } //# sourceMappingURL=session-preference-provider.d.ts.map