UNPKG

@theia/core

Version:

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

20 lines 1.02 kB
import { interfaces } from 'inversify'; import { PreferenceSchema } from '../common/preferences/preference-schema'; import { PreferenceProxy, PreferenceService } from '../common/preferences'; export declare namespace ZoomLevel { const DEFAULT = 0; const MIN = -8; const MAX = 9; const VARIATION = 0.5; } export declare const electronWindowPreferencesSchema: PreferenceSchema; export declare class ElectronWindowConfiguration { 'window.zoomLevel': number; 'window.titleBarStyle': 'native' | 'custom'; } export declare const ElectronWindowPreferenceContribution: unique symbol; export declare const ElectronWindowPreferences: unique symbol; export type ElectronWindowPreferences = PreferenceProxy<ElectronWindowConfiguration>; export declare function createElectronWindowPreferences(preferences: PreferenceService, schema?: PreferenceSchema): ElectronWindowPreferences; export declare function bindWindowPreferences(bind: interfaces.Bind): void; //# sourceMappingURL=electron-window-preferences.d.ts.map