7 Commits

Author	SHA1	Message	Date
Jermolene	73c30716dc	Unlinkify the current theme name ... Having it link to the underlying plugin tiddler isn’t very useful	2014-02-08 17:29:42 +00:00
Jermolene	34ae1387a5	Expand the theme switcher in the control panel	2013-12-01 21:57:19 +00:00
Jermolene	2598e22422	Spruce up the control panel ... Structure things with extensible tabs.	2013-11-10 21:40:03 +00:00
Jeremy Ruston	d99ed1816d	Correct themeswitcher and viewswitcher	2013-07-08 21:44:32 +01:00
Jeremy Ruston	a0a6b69a4e	Sort themes by title	2013-05-14 14:24:18 +01:00
Jeremy Ruston	bce0ea841c	Add bullet next to selected theme in theme switcher	2013-05-01 22:10:34 +01:00
Jeremy Ruston	b672e12fef	Add a UI to allow themes to be switched	2013-05-01 12:02:49 +01:00