From 827a324297d704e7e3bce9f3f287618f4d300d76 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Thu, 26 Mar 2015 11:15:40 +0300
Subject: [PATCH] Editor: auto-adjust vertical scrollbar margin for resize grip

---
 edit.js | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/edit.js b/edit.js
index e9bb9b7c..8b2f5006 100644
--- a/edit.js
+++ b/edit.js
@@ -205,6 +205,20 @@ function setupCodeMirror(textarea, index) {
 			document.removeEventListener("mousemove", resize);
 		});
 	});
+	// resizeGrip has enough space when scrollbars.horiz is visible
+	if (cm.display.scrollbars.horiz.style.display != "") {
+		cm.display.scrollbars.vert.style.marginBottom = "0";
+	}
+	// resizeGrip space adjustment in case a long line was entered/deleted by a user
+	new MutationObserver(function(mutations) {
+		var hScrollbar = mutations[0].target;
+		var hScrollbarVisible = hScrollbar.style.display != "";
+		var vScrollbar = hScrollbar.parentNode.CodeMirror.display.scrollbars.vert;
+		vScrollbar.style.marginBottom = hScrollbarVisible ? "0" : "";
+	}).observe(cm.display.scrollbars.horiz, {
+		attributes: true,
+		attributeFilter: ["style"]
+	});
 
 	editors.splice(index || editors.length, 0, cm);
 	return cm;