mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-11 05:56:11 +00:00
51ecf6d096
Fixes mistake made in I50e996b9d2fde361238cde75e09baa5872e12223 which made scrollable panels not be, well scrollable. Change-Id: I0ec59a1b76acf047b1a4d6de426a0ddb554a3e42 |
||
---|---|---|
.. | ||
ve.ui.FieldsetLayout.js | ||
ve.ui.GridLayout.js | ||
ve.ui.PanelLayout.js | ||
ve.ui.StackPanelLayout.js |