Fix tree height

Co-authored-by: T4rikA <[email protected]> Co-authored-by: linusha <[email protected]>
hpi-swa-lab · Jun 14, 2021 · 2895573 · 2895573
1 parent d2650e7
commit 2895573
Show file tree

Hide file tree

Showing 2 changed files with 389 additions and 387 deletions.
diff --git a/editor.js b/editor.js
@@ -209,12 +209,7 @@ export class InteractivesEditor extends QinoqMorph {
 
     const topWindowHeight = this.ui.subWindow.top;
 
-    this.ui.interactiveGraph.extent = pt(
-      this.ui.interactiveGraph.width,
-      topWindowHeight - this.ui.interactiveGraph.submorphs[0].height -
-      this.ui.interactiveGraph.scrollbarOffset.x -
-      2 * this.ui.interactiveGraph.borderWidth
-    );
+    this.ui.interactiveGraph.extent = pt(this.ui.interactiveGraph.width, topWindowHeight);
 
     this.ui.inspector.position = pt(extent.x - this.ui.inspector.width, 0);
     this.ui.inspector.extent = pt(this.ui.inspector.width,