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

Small change in themes

locals-and-roots
nicolas-p 2016-05-06 08:42:05 +02:00 committed by John Benediktsson
parent 45316318e8
commit a13d2b9fbf
3 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
basis/ui/gadgets/theme/dark/dark.factor
View File

@ -80,9 +80,7 @@ M: dark-theme vocab-border-color COLOR: solarized-base01 ;
M: dark-theme field-border-color COLOR: solarized-base01 ;
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 ;
M: dark-theme labeled-border-color COLOR: grey85 ;
M: dark-theme labeled-border-color COLOR: solarized-base01 ;

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

@ -80,9 +80,7 @@ M: light-theme vocab-border-color COLOR: FactorDarkTan ;
M: light-theme field-border-color COLOR: gray ;
M: light-theme selection-color T{ rgba f 0.8 0.8 1.0 1.0 } ;
M: light-theme panel-background-color T{ rgba f 0.7843 0.7686 0.7176 1.0 } ;
M: light-theme focus-border-color COLOR: dark-gray ;
M: light-theme labeled-border-color COLOR: grey85 ;

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

@ -88,9 +88,7 @@ HOOK: vocab-border-color theme ( -- color )
HOOK: field-border-color theme ( -- color )
HOOK: selection-color theme ( -- color )
HOOK: panel-background-color theme ( -- color )
HOOK: focus-border-color theme ( -- color )
HOOK: labeled-border-color theme ( -- color )