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

Better folding arrows in CodeMirror editor

This commit is contained in:
Raymond Hill 2023-04-03 10:20:53 -04:00
parent 6e8aeae283
commit 4aea9aa624
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/css/codemirror.css
View File

@ -26,6 +26,12 @@
font-size: large; font-size: large;
text-shadow: none; text-shadow: none;
} }
.CodeMirror-foldgutter-folded::after {
content: '\25B6';
}
.CodeMirror-foldgutter-open::after {
content: '\25BC';
}
.CodeMirror-gutters { .CodeMirror-gutters {
background-color: var(--cm-gutter-surface); background-color: var(--cm-gutter-surface);
border-color: var(--cm-gutter-border); border-color: var(--cm-gutter-border);