Mario Pietsch a409536ad0 Prevent scrolling of the page when modals are displayed (#5816) ... * prevent scroll-chaining in modals * make body overflow hidden to prevent background scrolling		2021-06-27 16:24:06 +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	style(App) eliminate whitespace at the end of code lines (#5735)	2021-05-30 19:20:17 +01:00
http.js	Fix httpRequest() header handling	2020-08-17 18:44:36 +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