sprotty-theia/lib/index.js

Glue code for Sprotty diagrams in a Theia IDE

"use strict";
/********************************************************************************
 * Copyright (c) 2017-2018 TypeFox 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
 ********************************************************************************/
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
    if (k2 === undefined) k2 = k;
    Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
}) : (function(o, m, k, k2) {
    if (k2 === undefined) k2 = k;
    o[k2] = m[k];
}));
var __exportStar = (this && this.__exportStar) || function(m, exports) {
    for (var p in m) if (p !== "default" && !exports.hasOwnProperty(p)) __createBinding(exports, m, p);
}
Object.defineProperty(exports, "__esModule", { value: true });
__exportStar(require("./sprotty/theia-diagram-server"), exports);
__exportStar(require("./sprotty/theia-file-saver"), exports);
__exportStar(require("./sprotty/theia-key-tool"), exports);
__exportStar(require("./sprotty/theia-sprotty-connector"), exports);
__exportStar(require("./sprotty/theia-sprotty-selection-forwarder"), exports);
__exportStar(require("./sprotty/theia-sprotty-context-menu-service"), exports);
__exportStar(require("./theia/diagram-commands"), exports);
__exportStar(require("./theia/diagram-configuration"), exports);
__exportStar(require("./theia/diagram-keybinding"), exports);
__exportStar(require("./theia/diagram-manager"), exports);
__exportStar(require("./theia/diagram-module"), exports);
__exportStar(require("./theia/diagram-widget"), exports);
//# sourceMappingURL=index.js.map