From 65e55549c738236e0747c83fb2758cc7fc7ac7bd Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Sun, 4 Mar 2018 18:09:06 -0500
Subject: [PATCH] fix resizing quirk due to new top panel (#3567)

---
 src/css/codemirror.css | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/src/css/codemirror.css b/src/css/codemirror.css
index 0750eb476..1bc97b2c4 100644
--- a/src/css/codemirror.css
+++ b/src/css/codemirror.css
@@ -2,13 +2,22 @@
     font-size: 12px;
     overflow: hidden;
     position: relative;
-}
+    }
 .CodeMirror {
     border: 1px solid #ddd;
     box-sizing: border-box;
+    flex-grow: 1;
     height: 100%;
     width: 100%;
-}
+    }
+
+/* For when panels are used */
+.codeMirrorContainer > div:not(.CodeMirror) {
+    display: flex;
+    flex-direction: column;
+    height: 100%;
+    }
+
 .cm-s-default .cm-comment {color: #777;}
 .cm-staticext {color: #008;}
 .cm-staticnet.cm-block {color: #800;}