Jermolene b1ed77d6b8 Switch drag image to use draggable DOM node ... We’ll still support dragging pills, but dragging the DOM node image seems to look better in most situations.		2017-03-23 17:02:26 +00:00
..
dom	Switch drag image to use draggable DOM node	2017-03-23 17:02:26 +00:00
crypto.js
edition-info.js
fakedom.js	Tentative improvements to highlight plugin problems	2017-02-21 13:09:32 +00:00
filesystem.js
logger.js
parsetree.js
performance.js
pluginmaker.js
utils.js	More defensive deepFreeze()	2017-03-17 14:20:04 +00:00