Jermolene 5cc1f2b313 Fix problem with search popup disappearing ...

This one took quite a lot of tracking down…

Fixes #2172

2016-01-03 18:05:08 +00:00

..

dom

Fix problem with search popup disappearing

2016-01-03 18:05:08 +00:00

crypto.js

Fix support for upgrading encrypted wikis

2014-07-16 10:06:24 +01:00

edition-info.js

Refactor edition-info handling

2015-01-11 15:00:54 +00:00

fakedom.js

Text-slicer: Tweaks to fix recently introduced bugs!

2015-09-22 12:57:53 +02:00

filesystem.js

Improve buffer allocation for copying files in utils/filesystem.js

2014-12-18 21:08:14 +00:00

logger.js

Partial fix for #1570

2015-03-12 22:35:03 +00:00

parsetree.js

Add parse tree utility for collecting text

2015-08-01 13:14:32 +01:00

performance.js

Add user interface for enabling performance instrumentation

2015-10-14 10:59:55 +01:00

pluginmaker.js

Missed corrections of tm-auto-save-wiki message

2014-09-02 11:16:06 +01:00

utils.js

Merge #1909 from @nameanyone

2015-12-23 12:19:47 +00:00