@kieler/klighd-core
Version:
Core KLighD diagram visualization with Sprotty
27 lines • 1.3 kB
JavaScript
;
/*
* KIELER - Kiel Integrated Environment for Layout Eclipse RichClient
*
* http://rtsys.informatik.uni-kiel.de/kieler
*
* Copyright 2021-2024 by
* + Kiel University
* + Department of Computer Science
* + Real-Time and Embedded Systems Group
*
* This program and the accompanying materials are made available under the
* terms of the Eclipse Public License 2.0 which is available at
* http://www.eclipse.org/legal/epl-2.0.
*
* SPDX-License-Identifier: EPL-2.0
*/
Object.defineProperty(exports, "__esModule", { value: true });
exports.SynthesisPicker = void 0;
const sprotty_1 = require("sprotty"); // eslint-disable-line @typescript-eslint/no-unused-vars
function SynthesisPicker(props) {
return ((0, sprotty_1.html)("div", { "class-options__column": "true" },
(0, sprotty_1.html)("label", { htmlFor: "synthesisSelect" }, "Current synthesis:"),
(0, sprotty_1.html)("select", { id: "synthesisSelect", "class-options__selection": "true", "on-change": (e) => props.onChange(e.target.value) }, props.syntheses.map((synthesis) => ((0, sprotty_1.html)("option", { value: synthesis.id, selected: synthesis.id === props.currentId }, synthesis.displayName))))));
}
exports.SynthesisPicker = SynthesisPicker;
//# sourceMappingURL=synthesis-picker.js.map