mediawiki-extensions-Visual.../modules
Trevor Parscal ef262dc241 Add padded option to layouts
Objectives:

* Add option to layouts to control whether it's padded or not
* Rename "scroll" option to "scrollable" to better fit with it's boolean value

Changes:

ve.ui.Layout.css
* Add styles for scrollable and padded options

ve.ui.StackPanelLayout.js, ve.ui.PagedDialog.js, ve.ui.ReferenceListDialog.js
* Update use of scroll option

ve.ui.PanelLayout.js
* Add padded option
* Rename scroll option to scrollable
* Switch to using a class for scrollable option, rather than hardcoding CSS properties

Change-Id: I50e996b9d2fde361238cde75e09baa5872e12223
2013-07-17 19:10:44 +00:00
..
jquery jquery.client: Update to upstream from 92f06b4a in mediawiki/core.git 2013-07-10 23:23:11 +02:00
oojs oojs: Integrate with OOJS v1.0.0 2013-06-06 17:29:55 +02:00
qunit Upstream: Update QUnit from v1.10.0 to v1.11.0 2013-02-19 19:50:02 +01:00
rangy Convert from DOS line endings (CRLF) to Unix ones (LF) 2013-05-25 23:51:21 +02:00
unicodejs Run UnicodeJS tests from Special:JavaScriptTest/qunit 2013-07-17 00:45:11 +02:00
ve Add padded option to layouts 2013-07-17 19:10:44 +00:00
ve-mw Add padded option to layouts 2013-07-17 19:10:44 +00:00