Jeremy Ruston 9e3618bdcf Rename the 'title' attributes of various widgets to 'tiddler' ... The change is to avoid confusion with the HTML 'title' attribute. The name 'tiddler' better emphasises the purpose of the attribute, too.		2013-10-30 13:36:44 +00:00
..
body.tid	Initial Commit	2013-10-12 17:05:13 +01:00
subtitle.tid	…
tags.tid	…
title.tid	Rename the 'title' attributes of various widgets to 'tiddler'	2013-10-30 13:36:44 +00:00