Jermolene 7c8c5cf745 Fix problem with parsing main UI boot tiddlers ... We were parsing the boot tiddlers, making them into a widget and then refreshing the widget tree. The problem is that subsequent chances to the boot tiddlers themselves wouldn’t be picked up as part of the refresh. Now we indirectly parse those UI boot tiddlers through a transclusion, which does get refreshed in the desired way.		2014-05-06 10:14:22 +01:00
..
animations	Restored animations for the reveal widget	2013-11-01 17:23:08 +00:00
animator.js	Fix animation behaviour of reveal widget	2013-11-02 09:21:11 +00:00
browser.js	Split module loading into a separate startup task	2014-05-03 17:10:55 +01:00
dom.js	More refactoring of startup.js	2014-05-05 14:41:46 +01:00
http.js	Expand the logging mechanism to support alerts overlaid on the main screen	2014-02-14 07:53:41 +00:00
keyboard.js	Clearer explanation of key descriptor syntax	2014-02-04 20:05:34 +00:00
modal.js	Fix problem with parsing main UI boot tiddlers	2014-05-06 10:14:22 +01:00
notifier.js	Fix problem with parsing main UI boot tiddlers	2014-05-06 10:14:22 +01:00
popup.js	Improve popup dismissal	2013-11-12 22:02:26 +00:00
scroller.js	Use Date.now() instead of new Date()	2014-04-14 09:02:52 +01:00