mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-16 02:51:50 +00:00
82114467f1
199 files touched. Whee! Change-Id: Id82ce4a32f833406db4a1cc585674f2bdb39ba0d
38 lines
904 B
JavaScript
38 lines
904 B
JavaScript
/*!
|
|
* VisualEditor UserInterface NumberListButtonTool class.
|
|
*
|
|
* @copyright 2011-2013 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
/**
|
|
* UserInterface number button tool.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.ListButtonTool
|
|
* @constructor
|
|
* @param {ve.ui.Toolbar} toolbar
|
|
*/
|
|
ve.ui.NumberButtonTool = function VeUiNumberButtonTool( toolbar ) {
|
|
// Parent constructor
|
|
ve.ui.ListButtonTool.call( this, toolbar );
|
|
};
|
|
|
|
/* Inheritance */
|
|
|
|
ve.inheritClass( ve.ui.NumberButtonTool, ve.ui.ListButtonTool );
|
|
|
|
/* Static Properties */
|
|
|
|
ve.ui.NumberButtonTool.static.name = 'number';
|
|
|
|
ve.ui.NumberButtonTool.static.icon = 'number-list';
|
|
|
|
ve.ui.NumberButtonTool.static.titleMessage = 'visualeditor-listbutton-number-tooltip';
|
|
|
|
ve.ui.NumberButtonTool.static.style = 'number';
|
|
|
|
/* Registration */
|
|
|
|
ve.ui.toolFactory.register( 'number', ve.ui.NumberButtonTool );
|