factor/basis/ui/theme
Pi fd7e19b6a0 pick a better caret color for the dark theme 2018-09-07 10:02:25 -07:00
..
images ui.gadgets.theme: rename to ui.theme.images. 2016-05-22 07:53:21 -07:00
switching ui.theme.switching: default font colors. 2016-05-22 07:53:21 -07:00
authors.txt Moved both themes into ui.theme 2016-05-09 21:40:56 -07:00
summary.txt Moved both themes into ui.theme 2016-05-09 21:40:56 -07:00
theme.factor pick a better caret color for the dark theme 2018-09-07 10:02:25 -07:00