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