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

..

dom

Use Date.now() instead of new Date()

2014-04-14 09:02:52 +01:00

crypto.js

Rejigged encrypted import so that the current password isn't changed

2014-01-20 13:35:55 +00:00

fakedom.js

Disable storyviews when rendering to the fake dom

2014-03-10 18:41:11 +00:00

filesystem.js

Add init command to initialise a wiki folder

2014-02-23 22:58:17 +00:00

logger.js

Enhance alerting to coalesce repeated alerts with the same text

2014-02-14 10:29:26 +00:00

parsetree.js

Further style tweaks to #321

2014-01-03 10:48:00 +00:00

performance.js

Add performance measurement features

2014-04-01 08:33:36 +01:00

pluginmaker.js

Add experimental support for building plugins in the browser

2014-02-13 14:23:27 +00:00

utils.js

Use Date.now() instead of new Date()

2014-04-14 09:02:52 +01:00