jeremy@jermolene.com e9e5d37ff0 Draggable widget: Add option to hide drag image ... Thanks @ericshulman Fixes #6027		2021-09-12 14:20:03 +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	Limited implementation of external text tiddlers in the browser	2015-08-29 16:33:04 +01:00
csscolorparser.js	Provisionally make tag pill foreground colour be responsive	2014-11-06 13:35:48 +00:00
csscolorparser.js.meta	Provisionally make tag pill foreground colour be responsive	2014-11-06 13:35:48 +00:00
dom.js	style(App) eliminate whitespace at the end of code lines (#5735)	2021-05-30 19:20:17 +01:00
dragndrop.js	Draggable widget: Add option to hide drag image	2021-09-12 14:20:03 +01:00
http.js	Do not add X-Requested-With header for simple requests (#5931)	2021-08-17 09:56:52 +01:00
keyboard.js	Introduce text editor toolbar (#2315)	2016-04-22 08:36:29 +01:00
modal.js	Prevent scrolling of the page when modals are displayed (#5816)	2021-06-27 16:24:06 +01:00
notifier.js	Refinements to 87fa7f972c	2016-10-18 16:39:18 +01:00
popup.js	style(App) eliminate whitespace at the end of code lines (#5735)	2021-05-30 19:20:17 +01:00
scroller.js	style(App) eliminate whitespace at the end of code lines (#5735)	2021-05-30 19:20:17 +01:00