Skip to content

Commit 8c7b759

Browse files
committed
Built static site
Signed-off-by: Dimitris Kolovos <dimitris.kolovos@york.ac.uk>
1 parent 473cd86 commit 8c7b759

File tree

4 files changed

+14
-6
lines changed

4 files changed

+14
-6
lines changed

playground/dist/bundle.js

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

playground/dist/bundle.js.map

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

playground/js/ModelPanel.js

Lines changed: 11 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@ class ModelPanel extends Panel {
88
editable;
99
metamodelPanel;
1010
diagramSvg;
11+
diagramSvgPanZoomInstance;
1112

1213
constructor(id, editable, metamodelPanel) {
1314
super(id);
@@ -195,7 +196,7 @@ class ModelPanel extends Panel {
195196
xhr.send(JSON.stringify(data));
196197
}
197198

198-
renderDiagram(svg) {
199+
renderDiagram(svg, preservePanAndZoom = false) {
199200
var diagramId = this.id + "Diagram";
200201
var diagramElement = document.getElementById(diagramId);
201202

@@ -204,10 +205,17 @@ class ModelPanel extends Panel {
204205
if (diagramId == "outputDiagram") {
205206
diagramElement.parentElement.style.padding = "0px";
206207
}
207-
208-
svgPanZoom(this.embed(svg, diagramElement), {
208+
209+
var previousDiagramSvgPanZoomInstance = this.diagramSvgPanZoomInstance;
210+
211+
this.diagramSvgPanZoomInstance = svgPanZoom(this.embed(svg, diagramElement), {
209212
minZoom: 0
210213
});
214+
215+
if (previousDiagramSvgPanZoomInstance != null && preservePanAndZoom) {
216+
this.diagramSvgPanZoomInstance.zoom(previousDiagramSvgPanZoomInstance.getZoom());
217+
this.diagramSvgPanZoomInstance.pan(previousDiagramSvgPanZoomInstance.getPan());
218+
}
211219
}
212220

213221
embed(svg, container) {

playground/js/Playground.js

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -328,7 +328,7 @@ function runProgram() {
328328
krokiXhr.onreadystatechange = function () {
329329
if (krokiXhr.readyState === 4) {
330330
if (krokiXhr.status === 200) {
331-
outputPanel.renderDiagram(krokiXhr.responseText);
331+
outputPanel.renderDiagram(krokiXhr.responseText, true);
332332
}
333333
}
334334
};

0 commit comments

Comments
 (0)