Jeremy Ruston ee33cbbc2e Fix up some problems when the animation duration is zero ... We want to be able to suppress animations by making the duration zero		2013-08-29 12:43:24 +01:00
..
dom	Fix up some problems when the animation duration is zero	2013-08-29 12:43:24 +01:00
fakedom.js	Add some more methods to the fake DOM	2013-07-05 10:47:08 +01:00
parsetree.js	Added beginnings of popup widget	2012-12-30 17:23:44 +00:00
utils.js	Move the animation duration into a tiddler so that we can easily let it be adjusted in the control panel	2013-08-28 15:15:56 +01:00