Jeremy Ruston 594f4ba204 Update animations to use a timer instead the transitionEnd event ... Thr trouble is that the transitionEnd event doesn't fire under some circumstances (eg if the animated element is hidden). So, it's more reliable to use a timer instead		2013-07-06 12:57:37 +01:00
..
dom	Update animations to use a timer instead the transitionEnd event	2013-07-06 12:57:37 +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	Stop base64 encoding context scope IDs	2013-01-23 12:35:21 +00:00