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
..
giffmex	Update page control icon colours for Blanca theme	2013-06-10 08:03:21 +01:00
tiddlywiki	Update animations to use a timer instead the transitionEnd event	2013-07-06 12:57:37 +01:00