mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-16 10:59:56 +00:00
2c77e88d2c
Change-Id: I30539877543dc2a57bd1428a00d10ac46d8fc294
92 lines
2.4 KiB
JavaScript
92 lines
2.4 KiB
JavaScript
/*!
|
|
* VisualEditor MediaWiki UserInterface edit mode tool classes.
|
|
*
|
|
* @copyright 2011-2020 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
/**
|
|
* MediaWiki UserInterface edit mode tool.
|
|
*
|
|
* @class
|
|
* @abstract
|
|
*/
|
|
ve.ui.MWEditModeTool = function VeUiMWEditModeTool() {
|
|
};
|
|
|
|
/* Inheritance */
|
|
|
|
OO.initClass( ve.ui.MWEditModeTool );
|
|
|
|
/* Methods */
|
|
|
|
/**
|
|
* @inheritdoc mw.libs.ve.MWEditModeTool
|
|
*/
|
|
ve.ui.MWEditModeTool.prototype.getMode = function () {
|
|
if ( !this.toolbar.getSurface() ) {
|
|
return 'source';
|
|
}
|
|
return this.toolbar.getSurface().getMode();
|
|
};
|
|
|
|
/**
|
|
* @inheritdoc mw.libs.ve.MWEditModeTool
|
|
*/
|
|
ve.ui.MWEditModeTool.prototype.isModeAvailable = function ( mode ) {
|
|
// Source mode is always available
|
|
return mode === 'source' || this.toolbar.getTarget().isModeAvailable( mode );
|
|
};
|
|
|
|
/**
|
|
* MediaWiki UserInterface edit mode source tool.
|
|
*
|
|
* @class
|
|
* @extends mw.libs.ve.MWEditModeSourceTool
|
|
* @mixins ve.ui.MWEditModeTool
|
|
* @constructor
|
|
* @param {OO.ui.ToolGroup} toolGroup
|
|
* @param {Object} [config] Config options
|
|
*/
|
|
ve.ui.MWEditModeSourceTool = function VeUiMWEditModeSourceTool() {
|
|
// Parent constructor
|
|
ve.ui.MWEditModeSourceTool.super.apply( this, arguments );
|
|
// Mixin constructor
|
|
ve.ui.MWEditModeTool.call( this );
|
|
};
|
|
OO.inheritClass( ve.ui.MWEditModeSourceTool, mw.libs.ve.MWEditModeSourceTool );
|
|
OO.mixinClass( ve.ui.MWEditModeSourceTool, ve.ui.MWEditModeTool );
|
|
/**
|
|
* @inheritdoc
|
|
*/
|
|
ve.ui.MWEditModeSourceTool.prototype.switch = function () {
|
|
this.toolbar.getTarget().editSource();
|
|
};
|
|
ve.ui.toolFactory.register( ve.ui.MWEditModeSourceTool );
|
|
|
|
/**
|
|
* MediaWiki UserInterface edit mode visual tool.
|
|
*
|
|
* @class
|
|
* @extends mw.libs.ve.MWEditModeVisualTool
|
|
* @mixins ve.ui.MWEditModeTool
|
|
* @constructor
|
|
* @param {OO.ui.ToolGroup} toolGroup
|
|
* @param {Object} [config] Config options
|
|
*/
|
|
ve.ui.MWEditModeVisualTool = function VeUiMWEditModeVisualTool() {
|
|
// Parent constructor
|
|
ve.ui.MWEditModeVisualTool.super.apply( this, arguments );
|
|
// Mixin constructor
|
|
ve.ui.MWEditModeTool.call( this );
|
|
};
|
|
OO.inheritClass( ve.ui.MWEditModeVisualTool, mw.libs.ve.MWEditModeVisualTool );
|
|
OO.mixinClass( ve.ui.MWEditModeVisualTool, ve.ui.MWEditModeTool );
|
|
/**
|
|
* @inheritdoc
|
|
*/
|
|
ve.ui.MWEditModeVisualTool.prototype.switch = function () {
|
|
this.toolbar.getTarget().switchToVisualEditor();
|
|
};
|
|
ve.ui.toolFactory.register( ve.ui.MWEditModeVisualTool );
|