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