@theia/workspace/lib/common/workspace-preferences.d.ts

Theia - Workspace Extension

import { interfaces } from '@theia/core/shared/inversify';
import { PreferenceProxy, PreferenceService, PreferenceSchema } from '@theia/core/lib/common/preferences';
export declare const workspacePreferenceSchema: PreferenceSchema;
export interface WorkspaceConfiguration {
    'workspace.preserveWindow': boolean;
}
export declare const WorkspacePreferenceContribution: unique symbol;
export declare const WorkspacePreferences: unique symbol;
export type WorkspacePreferences = PreferenceProxy<WorkspaceConfiguration>;
export declare function createWorkspacePreferences(preferences: PreferenceService, schema?: PreferenceSchema): WorkspacePreferences;
export declare function bindWorkspacePreferences(bind: interfaces.Bind): void;
//# sourceMappingURL=workspace-preferences.d.ts.map