Pi
|
fd7e19b6a0
|
pick a better caret color for the dark theme
|
2018-09-07 10:02:25 -07:00 |
|
Pi
|
7c383a52ba
|
make the caret color themeable
|
2018-09-07 10:02:25 -07:00 |
John Benediktsson
|
0bed0870bb
|
ui.theme: change deprecated background color also.
|
2016-11-08 16:05:26 -08:00 |
|
John Benediktsson
|
d5a57ca04f
|
ui.theme: make warning background color a light shade of red.
|
2016-11-08 15:48:40 -08:00 |
|
John Benediktsson
|
5ebc7193fa
|
ui.theme: remove unused url-color hook.
|
2016-05-10 15:20:28 -07:00 |
|
John Benediktsson
|
63410f62c8
|
ui.theme: updates to color scheme.
Fixes circularity and adds theme switching to Mac menu.
Could use some simplification and reduction in color theme hooks.
|
2016-05-09 21:40:56 -07:00 |
nicolas-p
|
7a028977c4
|
Moved both themes into ui.theme
|
2016-05-09 21:40:56 -07:00 |