From 8442fdfe0a98442adc280baf1a456b3ba30eba39 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADctor=20Losada=20Hern=C3=A1ndez?= Date: Sun, 29 Mar 2026 01:02:34 +0100 Subject: [PATCH] make sure selection is visible --- themes/codeMirror/default.js | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/themes/codeMirror/default.js b/themes/codeMirror/default.js index 5c65d94f1..0625ded76 100644 --- a/themes/codeMirror/default.js +++ b/themes/codeMirror/default.js @@ -37,7 +37,10 @@ export default EditorView.theme({ caretColor : 'transparent', }, '.cm-activeLine' : { - backgroundColor : '#e8f2ff', + backgroundColor : '#becee374', + }, + '.cm-gutterElement.cm-activeLineGutter' : { + backgroundColor : '#becee374', }, '.cm-selected' : { backgroundColor : '#d7d4f0',