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 |
dragndrop.js
|
check if dataTransfer is undefined (#3093)
|
2018-01-20 17:28:10 +00:00 |
keyboard.js
|
Introduce text editor toolbar (#2315)
|
2016-04-22 08:36:29 +01:00 |
modal.js
|
Refinements to 87fa7f972c
|
2016-10-18 16:39:18 +01:00 |
notifier.js
|
Refinements to 87fa7f972c
|
2016-10-18 16:39:18 +01:00 |
popup.js
|
Fix problem with search popup disappearing
|
2016-01-03 18:05:08 +00:00 |
scroller.js
|
Simplify page scrolling behaviour
|
2018-01-30 11:29:07 +00:00 |