UNPKG

@theia/core

Version:

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

32 lines 1.64 kB
import { interfaces } from 'inversify'; import { PreferenceProxy, PreferenceService, PreferenceSchema } from './preferences'; export declare const corePreferenceSchema: PreferenceSchema; export interface CoreConfiguration { 'application.confirmExit': 'never' | 'ifRequired' | 'always'; 'breadcrumbs.enabled': boolean; 'files.encoding': string; 'keyboard.dispatch': 'code' | 'keyCode'; 'window.menuBarVisibility': 'classic' | 'visible' | 'hidden' | 'compact'; 'window.title': string; 'window.titleSeparator': string; 'workbench.list.openMode': 'singleClick' | 'doubleClick'; 'workbench.commandPalette.history': number; 'workbench.editor.highlightModifiedTabs': boolean; 'workbench.editor.mouseBackForwardToNavigate': boolean; 'workbench.editor.closeOnFileDelete': boolean; 'workbench.colorTheme': string; 'workbench.iconTheme': string; 'workbench.silentNotifications': boolean; 'workbench.statusBar.visible': boolean; 'workbench.tree.renderIndentGuides': 'onHover' | 'none' | 'always'; 'workbench.hover.delay': number; 'workbench.sash.hoverDelay': number; 'workbench.sash.size': number; 'workbench.tab.maximize': boolean; } export declare const CorePreferenceContribution: unique symbol; export declare const CorePreferences: unique symbol; export declare type CorePreferences = PreferenceProxy<CoreConfiguration>; export declare function createCorePreferences(preferences: PreferenceService, schema?: PreferenceSchema): CorePreferences; export declare function bindCorePreferences(bind: interfaces.Bind): void; //# sourceMappingURL=core-preferences.d.ts.map