mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 00:55:00 +00:00
ac9f1a0919
Split the toolbar into two modes depending on if the surface is focused: * When unfocused, show a hamburger containing back and source switch * When focused, show editing tools, and a check button to unfocus For the editing toolbar, space the tools out using table-cell layout and hide labels below 480px. Depends on I06813e3ff in core (surface blur method). Bug: T93325 Change-Id: Ibf09cb29019d7a71e1e144b326710b1f6506cd0c
70 lines
1.8 KiB
JavaScript
70 lines
1.8 KiB
JavaScript
/*!
|
|
* VisualEditor MediaWiki UserInterface edit mode tool classes.
|
|
*
|
|
* @copyright 2011-2015 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
/**
|
|
* MediaWiki UserInterface edit mode tool.
|
|
*
|
|
* @class
|
|
* @abstract
|
|
* @extends ve.ui.Tool
|
|
* @constructor
|
|
* @param {OO.ui.ToolGroup} toolGroup
|
|
* @param {Object} [config] Config options
|
|
*/
|
|
ve.ui.MWEditModeTool = function VeUiMWEditModeTool( toolGroup, config ) {
|
|
ve.ui.Tool.call( this, toolGroup, config );
|
|
};
|
|
|
|
/* Inheritance */
|
|
|
|
OO.inheritClass( ve.ui.MWEditModeTool, ve.ui.Tool );
|
|
|
|
/* Static Properties */
|
|
|
|
ve.ui.MWEditModeTool.static.group = 'editMode';
|
|
|
|
ve.ui.MWEditModeTool.static.autoAddToCatchall = false;
|
|
|
|
ve.ui.MWEditModeTool.static.autoAddToGroup = false;
|
|
|
|
/* Methods */
|
|
|
|
/** */
|
|
ve.ui.MWEditModeTool.prototype.onUpdateState = function () {
|
|
// Parent method
|
|
ve.ui.MWEditModeTool.super.prototype.onUpdateState.apply( this, arguments );
|
|
|
|
this.setActive( false );
|
|
this.setDisabled( false );
|
|
};
|
|
|
|
/**
|
|
* MediaWiki UserInterface edit mode source tool.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.MWEditModeTool
|
|
* @constructor
|
|
* @param {OO.ui.ToolGroup} toolGroup
|
|
* @param {Object} [config] Config options
|
|
*/
|
|
ve.ui.MWEditModeSourceTool = function VeUiMWEditModeSourceTool() {
|
|
ve.ui.MWEditModeSourceTool.super.apply( this, arguments );
|
|
};
|
|
OO.inheritClass( ve.ui.MWEditModeSourceTool, ve.ui.MWEditModeTool );
|
|
ve.ui.MWEditModeSourceTool.static.name = 'editModeSource';
|
|
ve.ui.MWEditModeSourceTool.static.icon = 'source';
|
|
ve.ui.MWEditModeSourceTool.static.title =
|
|
OO.ui.deferMsg( 'visualeditor-mweditmodesource-tool' );
|
|
/**
|
|
* @inheritdoc
|
|
*/
|
|
ve.ui.MWEditModeSourceTool.prototype.onSelect = function () {
|
|
this.toolbar.getTarget().editSource();
|
|
this.setActive( false );
|
|
};
|
|
ve.ui.toolFactory.register( ve.ui.MWEditModeSourceTool );
|