Use CSS and viewport height for editor height

DOMjudge · Mar 1, 2025 · a0f125a · a0f125a
1 parent ede94dc
commit a0f125a
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/webapp/public/style_domjudge.css b/webapp/public/style_domjudge.css
@@ -737,6 +737,6 @@ blockquote {
 
 .editor {
     width: 100%;
-    height: 400px;
+    height: 80vh;
     border: 1px solid grey;
 }
diff --git a/webapp/src/Twig/TwigExtension.php b/webapp/src/Twig/TwigExtension.php
@@ -849,9 +849,6 @@ 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,