enable activeline highlight with selection

2022-02-28 10:01:26 +03:00 · 2022-02-28 10:01:26 +03:00 · b80c3e2f73
commit b80c3e2f73
parent 37baf8a2c6
1 changed files with 1 additions and 1 deletions
--- 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 || {}, {