Jermolene 4d70d5780e Use radio buttons in navigation settings ...

Radio buttons are much clearer

2014-05-31 18:36:59 +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

Add standard search to advanced search

2014-05-15 23:09:31 +01:00

modules

Better defaults for radio widget

2014-05-31 18:35:41 +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

Use radio buttons in navigation settings

2014-05-31 18:36:59 +01:00

wiki

Retract inadvertant change from previous commit

2014-05-26 22:56:58 +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