From b45f51f1366043fe451cd282116aa83b1525fd5c Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sat, 1 Jul 2017 13:37:35 +0300
Subject: [PATCH] editor: CM scroller height fix for resize-grip

---
 edit.html | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/edit.html b/edit.html
index 775c5a08..2ec63cc2 100644
--- a/edit.html
+++ b/edit.html
@@ -192,6 +192,14 @@
 			.CodeMirror {
 				border: solid #CCC 1px;
 			}
+			.CodeMirror-scroll {
+				height: auto;
+				position: absolute;
+				top: 0;
+				left: 0;
+				right: 0;
+				bottom: 6px; /* resize-grip height */
+			}
 			.CodeMirror-lint-mark-warning {
 				background: none;
 			}