@theia/core
Version:
Theia is a cloud & desktop IDE framework implemented in TypeScript.
17 lines • 882 B
TypeScript
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