Resize editor to adjust to window size.

Otherwise the editor pane is typically way to small.
DOMjudge · Mar 1, 2025 · ede94dc · ede94dc
1 parent c1d880a
commit ede94dc
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/webapp/src/Twig/TwigExtension.php b/webapp/src/Twig/TwigExtension.php
@@ -849,6 +849,10 @@ public function codeEditor(
         const element = document.getElementById('__EDITOR__');
         const content = element.textContent;
         element.textContent = '';
+        // Adjust editor height to fit window.
+        const height = $(window).height() - 400;
+        element.style.height = height + 'px';
+
         const editor = monaco.editor.create(element, {
             value: content,
             scrollbar: {