steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

pick a better caret color for the dark theme

handle-patch-and-put
Pi 2018-08-26 19:33:07 -07:00 committed by John Benediktsson
parent 7a248c0cda
commit fd7e19b6a0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/ui/theme/theme.factor
View File

@ -262,7 +262,7 @@ M: dark-theme vocab-border-color COLOR: solarized-base01 ;
M: dark-theme field-border-color COLOR: solarized-base01 ;
M: dark-theme editor-caret-color COLOR: red ;
M: dark-theme editor-caret-color COLOR: DeepPink2 ;
M: dark-theme selection-color COLOR: solarized-base01 ;
M: dark-theme panel-background-color T{ rgba f 0.7843 0.7686 0.7176 1.0 } ;
M: dark-theme focus-border-color COLOR: solarized-base01 ;