From a46c776398e2fffab81bf4d9174d972b54431f9a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADctor=20Losada=20Hern=C3=A1ndez?= Date: Wed, 22 Apr 2026 00:38:57 +0200 Subject: [PATCH] proper selection highlight --- themes/codeMirror/darkbrewery.js | 2 +- themes/codeMirror/default.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/themes/codeMirror/darkbrewery.js b/themes/codeMirror/darkbrewery.js index 4dca1e466..d9a6a74e8 100644 --- a/themes/codeMirror/darkbrewery.js +++ b/themes/codeMirror/darkbrewery.js @@ -54,7 +54,7 @@ export default EditorView.theme({ '.cm-activeLine' : { backgroundColor : '#868c9323', }, - '.cm-selected' : { + '.cm-selectionBackground ' : { backgroundColor : '#d7d4f0', }, '.cm-pageLine' : { diff --git a/themes/codeMirror/default.js b/themes/codeMirror/default.js index 0625ded76..78579a123 100644 --- a/themes/codeMirror/default.js +++ b/themes/codeMirror/default.js @@ -42,7 +42,7 @@ export default EditorView.theme({ '.cm-gutterElement.cm-activeLineGutter' : { backgroundColor : '#becee374', }, - '.cm-selected' : { + '.cm-selectionBackground ' : { backgroundColor : '#d7d4f0', }, '.cm-foldmarker' : {