Mirrors
/
uBlock
mirror of https://github.com/gorhill/uBlock.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fine tune CodeMirror search highlight rendering

This commit is contained in:
Raymond Hill 2020-11-05 06:04:37 -05:00
parent 7a48c9f187
commit 1ef1e02b86
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
2 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/css/codemirror.css
View File

@ -35,6 +35,17 @@
}
/* CodeMirror theme overrides */
.CodeMirror-focused .CodeMirror-selected {
background: var(--cm-selection-surface);
color: var(--cm-selection-ink);
}
.CodeMirror-line::selection,
.CodeMirror-line > span::selection,
.CodeMirror-line > span > span::selection {
background: var(--cm-selection-surface);
color: var(--cm-selection-ink);
}
.cm-s-default .cm-comment {
color: var(--sf-comment-ink);
}

4
src/css/themes/default.css
View File

@ -180,7 +180,9 @@
--cm-gutter-border: var(--light-gray-40);
--cm-gutter-ink: var(--light-gray-90);
--cm-gutter-surface: var(--light-gray-25);
--cm-searching-surface: var(--yellow-10);
--cm-selection-surface: #d7d4f0;
--cm-selection-ink: var(--default-ink);
--cm-searching-surface: #ffff0066;
/* syntax highlight: static filtering */
--sf-comment-ink: var(--light-gray-90);