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