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