From b80c3e2f73a04593bd728680e403411cbb7e8b61 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Mon, 28 Feb 2022 10:01:26 +0300
Subject: [PATCH] enable activeline highlight with selection

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

diff --git a/edit/codemirror-default.js b/edit/codemirror-default.js
index 9ddef5ba..a42ba3e1 100644
--- a/edit/codemirror-default.js
+++ b/edit/codemirror-default.js
@@ -26,7 +26,7 @@
     matchBrackets: true,
     hintOptions: {},
     lintReportDelay: prefs.get('editor.lintReportDelay'),
-    styleActiveLine: true,
+    styleActiveLine: {nonEmpty: true},
     theme: prefs.get('editor.theme'),
     keyMap: prefs.get('editor.keyMap'),
     extraKeys: Object.assign(CodeMirror.defaults.extraKeys || {}, {