@eclipse-glsp/client
Version:
A sprotty-based client for GLSP
33 lines • 2 kB
JavaScript
"use strict";
/********************************************************************************
* Copyright (c) 2023-2024 Business Informatics Group (TU Wien) 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 WITH Classpath-exception-2.0
********************************************************************************/
Object.defineProperty(exports, "__esModule", { value: true });
exports.standaloneShortcutsModule = void 0;
const sprotty_1 = require("@eclipse-glsp/sprotty");
require("../../../css/key-shortcut.css");
const available_shortcuts_extension_1 = require("./available-shortcuts-extension");
const available_shortcuts_tool_1 = require("./available-shortcuts-tool");
/**
* Feature module that is intended for the standalone deployment of GLSP (i.e. plain webapp)
* When integrated into an application frame (e.g Theia/VS Code) this module is typically omitted and/or replaced
* with an application native module.
*/
exports.standaloneShortcutsModule = new sprotty_1.FeatureModule((bind, unbind, isBound, rebind) => {
const context = { bind, unbind, isBound, rebind };
(0, sprotty_1.bindAsService)(context, sprotty_1.TYPES.IDefaultTool, available_shortcuts_tool_1.AvailableShortcutsTool);
(0, sprotty_1.bindAsService)(context, sprotty_1.TYPES.IUIExtension, available_shortcuts_extension_1.AvailableShortcutsUIExtension);
}, { featureId: Symbol('standaloneShortcuts') });
//# sourceMappingURL=shortcuts-module.js.map