Jermolene e366aa3746 Use Date.now() instead of new Date() ... Just for when what we actually want is a millisecond counter. Interesting video about this: https://www.youtube.com/watch?v=Vo72W1HWeFI		2014-04-14 09:02:52 +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	Fixed problem with Element.ELEMENT_NODE undefined on Safari	2014-01-04 15:15:12 +00:00
dom.js	Remove obsolete stylesheet helper	2014-02-08 09:29:11 +00: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	Get rid of the "new_" prefix we had on some methods	2013-11-08 08:51:14 +00:00
notifier.js	Fix notification removal to not rely on transitionEnd events	2014-01-09 22:26:21 +00: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