Jermolene 9b576f2a8d Add group headings to type dropdown ... We’re also reverting to the old custom dropdown. Using the select widget didn’t work out because it couldn’t cleanly work with a text box allowing custom types to be specified.		2014-06-06 09:32:14 +01:00
..
config/editor-type-mappings	Take editor configuration from configuration tiddlers	2014-01-24 20:22:23 +00:00
images	Replace hamburger icon with double chevron	2014-04-27 19:28:30 +01:00
language	Attention Translators! Add "group" field to tiddler types	2014-05-31 22:38:50 +01:00
modules	Extraneous semi-colon	2014-05-31 19:18:01 +01:00
palettes	Default colour tweaks	2014-03-12 22:22:18 +00:00
templates	Add support for $:/tags/RawMarkup	2014-05-26 22:50:54 +01:00
ui	Add group headings to type dropdown	2014-06-06 09:32:14 +01:00
wiki	Use the select widget in the various switchers	2014-05-31 18:38:17 +01:00
copyright.tid	Update copyright year	2014-01-02 10:55:19 +00:00
plugin.info	Ensure that the core plugins inherit their version number from the main package.info	2013-08-26 13:28:23 +01:00