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	…
summary.txt	…
theme.factor	pick a better caret color for the dark theme	2018-09-07 10:02:25 -07:00