From fd7e19b6a0e17162180bfa1f6d803441736e3e9e Mon Sep 17 00:00:00 2001 From: Pi Date: Sun, 26 Aug 2018 19:33:07 -0700 Subject: [PATCH] pick a better caret color for the dark theme --- basis/ui/theme/theme.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/ui/theme/theme.factor b/basis/ui/theme/theme.factor index 4f1b3eb1219..f6341503b3e 100644 --- a/basis/ui/theme/theme.factor +++ b/basis/ui/theme/theme.factor @@ -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 ;