mediawiki-extensions-Visual.../modules/ve
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
..
ce Create MWResizeableNode mixin to control defaultSize flag 2013-07-16 23:13:40 +01:00
dm Fix getAnnotationIndexesFromOffset for last offset in doc 2013-07-17 19:10:38 +00:00
init The great directory split of 2013 2013-07-02 20:51:38 -07:00
test Merge "Extend empty document check to check for meta-only data" 2013-07-15 16:18:50 +00:00
ui Add padded option to layouts 2013-07-17 19:10:44 +00:00
ve.BranchNode.js
ve.debug.js
ve.Document.js
ve.Element.js Make local overlays local to surface and remove insane z-indexes 2013-07-02 19:35:43 +00:00
ve.EventEmitter.js
ve.Factory.js
ve.js Make loading VE work on Opera again, attempt two 2013-06-29 15:02:00 +02:00
ve.LeafNode.js
ve.NamedClassFactory.js
ve.Node.js
ve.Range.js
ve.Registry.js