small selection fix

This commit is contained in:
2023-12-16 13:44:12 +01:00
parent 81beb352e1
commit 8739c3b9b6

View File

@ -81,7 +81,7 @@ export const getCodeMirrorTheme = (theme: {[key: string]: string}): Extension =>
}, },
"&.cm-focused .cm-selectionBackground, .cm-selectionBackground, .cm-content ::selection": "&.cm-focused .cm-selectionBackground, .cm-selectionBackground, .cm-content ::selection":
{ {
backgroundColor: selection_background, backgroundColor: selection_foreground,
border: `0.5px solid ${selection_background}`, border: `0.5px solid ${selection_background}`,
}, },
".cm-panels": { ".cm-panels": {