Jermolene 465f4ac469 Fix problem with refreshing modal dialogues ... Previously any refreshing of the content of a modal would cause a crash. The problem is the way that we steal the root widget for the render trees used in the modal. The root widget is tied to the container DOM node for the main content area, which isn’t actually a parent of the modal DOM nodes, hence the confusion for the refresh mechanism.		2014-07-04 21:07:35 +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 refreshing modal dialogues	2014-07-04 21:07:35 +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