From 8e1daaf94097b62d5ce1455b7a243a2a82b4cc67 Mon Sep 17 00:00:00 2001
From: Silvan Calarco <silvan.calarco@mambasoft.it>
Date: Fri, 2 Oct 2020 14:13:04 +0200
Subject: [PATCH] codemirror: found workaround for wrong cursor position when
 lineNumbers is on

---
 scripts/codemirror/lib/codemirror.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/codemirror/lib/codemirror.js b/scripts/codemirror/lib/codemirror.js
index 88a9324..69b5c67 100644
--- a/scripts/codemirror/lib/codemirror.js
+++ b/scripts/codemirror/lib/codemirror.js
@@ -3342,7 +3342,7 @@
         prevBottom = bot;
       } else {
         var box = cur.node.getBoundingClientRect();
-        height = box.bottom - box.top;
+        height = box.bottom - box.top + 1;
         // Check that lines don't extend past the right of the current
         // editor width
         if (!wrapping && cur.text.firstChild)