7 Commits

Author	SHA1	Message	Date
Jermolene	a375d2d9b6	Remove "advanced" and "appearance" from control panel tab titles ... For example, the previous title for the tiddler containing the editor types tab of control panel was “$:/core/ui/ControlPanel/Advanced/EditorTypes”. We’re now removing the “Advanced” portion, so that we don’t have to rename tiddlers like this if we move them around between tabs	2014-09-03 12:46:22 +01:00
Jermolene	71ae63e24f	Temporary commit losing power	2014-07-25 17:17:02 +01:00
Jermolene	0bdc5b5c70	Add editor type mappings to control panel	2014-06-18 13:52:22 +01:00
Jermolene	4d70d5780e	Use radio buttons in navigation settings ... Radio buttons are much clearer	2014-05-31 18:36:59 +01:00
Jermolene	da41879fc1	Fix dropdown behaviour in advanced settings	2014-05-13 16:21:01 +01:00
Jermolene	ad43958571	Make permalink behaviour configurable ... In the process introducing a new advanced settings tab Fixes #600	2014-05-13 14:16:58 +01:00
Jermolene	1ff8d225d9	Rejig the control panel to use nested tabs for Appearance and Advanced	2014-02-16 19:33:18 +00:00