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

ui.theme: change deprecated background color also.

char-rename
John Benediktsson 2016-11-08 16:05:26 -08:00
parent d5a57ca04f
commit 0bed0870bb
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -151,10 +151,10 @@ M: light-theme title-color COLOR: gray20 ;
M: light-theme heading-color COLOR: FactorDarkSlateBlue ;
M: light-theme snippet-color COLOR: DarkOrange4 ;
M: light-theme output-color COLOR: DarkOrange4 ;
M: light-theme deprecated-background-color COLOR: gray90 ;
M: light-theme deprecated-border-color COLOR: red ;
M: light-theme deprecated-background-color HEXCOLOR: F4EAD9 ;
M: light-theme deprecated-border-color HEXCOLOR: F37B00 ;
M: light-theme warning-background-color HEXCOLOR: F4D9D9 ;
M: light-theme warning-border-color COLOR: red ;
M: light-theme warning-border-color HEXCOLOR: F42300 ;
M: light-theme code-background-color COLOR: FactorLightTan ;
M: light-theme help-path-border-color COLOR: FactorLightTan ;
@ -239,10 +239,10 @@ M: dark-theme title-color COLOR: grey75 ;
M: dark-theme heading-color COLOR: grey75 ;
M: dark-theme snippet-color COLOR: solarized-orange ;
M: dark-theme output-color COLOR: solarized-orange ;
M: dark-theme deprecated-background-color HEXCOLOR: 6E2E32 ;
M: dark-theme deprecated-border-color COLOR: red ;
M: dark-theme warning-background-color HEXCOLOR: 6E2E32 ;
M: dark-theme warning-border-color COLOR: red ;
M: dark-theme deprecated-background-color HEXCOLOR: 3c4a24 ;
M: dark-theme deprecated-border-color COLOR: solarized-yellow ;
M: dark-theme warning-background-color HEXCOLOR: 492d33 ;
M: dark-theme warning-border-color COLOR: solarized-red ;
M: dark-theme code-background-color HEXCOLOR: 2F4D5B ;
M: dark-theme help-path-border-color HEXCOLOR: 2F4D5B ;