From 8bc1d19388ee507fd00bf96bf60e018a5777aba0 Mon Sep 17 00:00:00 2001 From: Konstantinos Kaloutas Date: Sat, 8 Jul 2023 11:28:31 +0300 Subject: [PATCH] fix: codemirror height --- src/main/frontend/extensions/code.css | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main/frontend/extensions/code.css b/src/main/frontend/extensions/code.css index 382d6f133..acdd2ce28 100644 --- a/src/main/frontend/extensions/code.css +++ b/src/main/frontend/extensions/code.css @@ -44,6 +44,7 @@ } .CodeMirror { + height: auto; width: 100%; font-family: Fira Code, Monaco, Menlo, Consolas, 'COURIER NEW', monospace; border-radius: 2px;