mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 00:30:44 +00:00
51ecf6d096
Fixes mistake made in I50e996b9d2fde361238cde75e09baa5872e12223 which made scrollable panels not be, well scrollable. Change-Id: I0ec59a1b76acf047b1a4d6de426a0ddb554a3e42
43 lines
963 B
JavaScript
43 lines
963 B
JavaScript
/*!
|
|
* VisualEditor UserInterface PanelLayout class.
|
|
*
|
|
* @copyright 2011-2013 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
/**
|
|
* Panel layout.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.Layout
|
|
*
|
|
* @constructor
|
|
* @param {Object} [config] Config options
|
|
* @cfg {boolean} [scrollable] Allow vertical scrolling
|
|
* @cfg {boolean} [padded] Pad the content from the edges
|
|
*/
|
|
ve.ui.PanelLayout = function VeUiPanelLayout( config ) {
|
|
// Config initialization
|
|
config = config || {};
|
|
|
|
// Parent constructor
|
|
ve.ui.Layout.call( this, config );
|
|
|
|
// Initialization
|
|
this.$.addClass( 've-ui-panelLayout' );
|
|
if ( config.scrollable ) {
|
|
this.$.addClass( 've-ui-panelLayout-scrollable' );
|
|
}
|
|
|
|
if ( config.padded ) {
|
|
this.$.addClass( 've-ui-panelLayout-padded' );
|
|
}
|
|
|
|
// Add directionality class:
|
|
this.$.addClass( 've-' + this.$$.frame.dir );
|
|
};
|
|
|
|
/* Inheritance */
|
|
|
|
ve.inheritClass( ve.ui.PanelLayout, ve.ui.Layout );
|