@theia/core
Version:
Theia is a cloud & desktop IDE framework implemented in TypeScript.
72 lines • 4.31 kB
JavaScript
;
// *****************************************************************************
// Copyright (C) 2021 Ericsson and others.
//
// This program and the accompanying materials are made available under the
// terms of the Eclipse Public License v. 2.0 which is available at
// http://www.eclipse.org/legal/epl-2.0.
//
// This Source Code may also be made available under the following Secondary
// Licenses when the conditions for such availability set forth in the Eclipse
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
// with the GNU Classpath Exception which is available at
// https://www.gnu.org/software/classpath/license.html.
//
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
// *****************************************************************************
Object.defineProperty(exports, "__esModule", { value: true });
exports.bindWindowPreferences = exports.createElectronWindowPreferences = exports.ElectronWindowPreferences = exports.ElectronWindowPreferenceContribution = exports.ElectronWindowConfiguration = exports.electronWindowPreferencesSchema = exports.ZoomLevel = void 0;
const nls_1 = require("../common/nls");
const common_1 = require("../common");
const preference_schema_1 = require("../common/preferences/preference-schema");
const preferences_1 = require("../common/preferences");
var ZoomLevel;
(function (ZoomLevel) {
ZoomLevel.DEFAULT = 0;
// copied from https://github.com/microsoft/vscode/blob/dda96b69bfc63f309e60cfc5f98cb863c46b32ac/src/vs/workbench/electron-sandbox/actions/windowActions.ts#L47-L48
ZoomLevel.MIN = -8;
ZoomLevel.MAX = 9;
// amount to increment or decrement the window zoom level.
ZoomLevel.VARIATION = 0.5;
})(ZoomLevel || (exports.ZoomLevel = ZoomLevel = {}));
exports.electronWindowPreferencesSchema = {
properties: {
'window.zoomLevel': {
'type': 'number',
'default': ZoomLevel.DEFAULT,
'minimum': ZoomLevel.MIN,
'maximum': ZoomLevel.MAX,
'scope': preferences_1.PreferenceScope.User,
// eslint-disable-next-line max-len
'description': nls_1.nls.localizeByDefault("Adjust the default zoom level for all windows. Each increment above `0` (e.g. `1`) or below (e.g. `-1`) represents zooming `20%` larger or smaller. You can also enter decimals to adjust the zoom level with a finer granularity. See {0} for configuring if the 'Zoom In' and 'Zoom Out' commands apply the zoom level to all windows or only the active window.")
},
'window.titleBarStyle': {
type: 'string',
enum: ['native', 'custom'],
default: common_1.isWindows ? 'custom' : 'native',
scope: preferences_1.PreferenceScope.User,
description: nls_1.nls.localizeByDefault('Adjust the appearance of the window title bar to be native by the OS or custom. Changes require a full restart to apply.'),
included: !common_1.isOSX
},
}
};
class ElectronWindowConfiguration {
}
exports.ElectronWindowConfiguration = ElectronWindowConfiguration;
exports.ElectronWindowPreferenceContribution = Symbol('ElectronWindowPreferenceContribution');
exports.ElectronWindowPreferences = Symbol('ElectronWindowPreferences');
function createElectronWindowPreferences(preferences, schema = exports.electronWindowPreferencesSchema) {
return (0, preferences_1.createPreferenceProxy)(preferences, schema);
}
exports.createElectronWindowPreferences = createElectronWindowPreferences;
function bindWindowPreferences(bind) {
bind(exports.ElectronWindowPreferences).toDynamicValue(ctx => {
const preferences = ctx.container.get(preferences_1.PreferenceService);
const contribution = ctx.container.get(exports.ElectronWindowPreferenceContribution);
return createElectronWindowPreferences(preferences, contribution.schema);
}).inSingletonScope();
bind(exports.ElectronWindowPreferenceContribution).toConstantValue({ schema: exports.electronWindowPreferencesSchema });
bind(preference_schema_1.PreferenceContribution).toService(exports.ElectronWindowPreferenceContribution);
}
exports.bindWindowPreferences = bindWindowPreferences;
//# sourceMappingURL=electron-window-preferences.js.map