Fix for glitch when resizing window

2026-06-06 19:27:48 +00:00 · 2025-05-16 16:34:40 +02:00
parent df8425828f
commit 346301eaac
1 changed files with 5 additions and 2 deletions
@@ -60,13 +60,16 @@
        }
    });

-    $effect(() => {
+    function recalculateHeights() {
        if (terminalOpen === false) {
            editorHeight = layoutElement.offsetHeight - 46;
        } else if (terminalOpen) {
            editorHeight = resizerTopPosition + 1;
            terminalHeight = layoutElement.offsetHeight - resizerTopPosition - terminalTabsHeight;
        }
+    }
+    $effect(() => {
+        recalculateHeights();
    });

    function startResize() {
@@ -136,7 +139,7 @@
    });

    function onViewportResize() {
-        resizerTopPosition--;
+        recalculateHeights();
    }
 </script>