mediawiki-extensions-VisualEditor/modules/es/tools/es.HistoryButtonTool.js

/**
 * Creates an es.HistoryButtonTool object.
 * 
 * @class
 * @constructor
 * @extends {es.ButtonTool}
 * @param {es.ToolbarView} toolbar
 * @param {String} name
 */
es.HistoryButtonTool = function( toolbar, name, title, data ) {
	// Inheritance
	es.ButtonTool.call( this, toolbar, name, title );

	// Properties
	this.data = data;
	this.enabled = false;
};

/* Methods */

es.HistoryButtonTool.prototype.onClick = function() {
	switch ( this.name ) {
		case 'undo':
			this.toolbar.surfaceView.model.undo( 1 );
			break;
		case 'redo':
			this.toolbar.surfaceView.model.redo( 1 );
			break;
	}
};

es.HistoryButtonTool.prototype.updateState = function( annotations ) {
	var surfaceModel = this.toolbar.surfaceView.model;
	switch( this.name ) {
		case 'undo':
			this.enabled = surfaceModel.bigStack.length - surfaceModel.undoIndex > 0; 
			break;
		case 'redo':
			this.enabled = surfaceModel.undoIndex > 0;
			break;
	}

	this.updateEnabled();
}


/* Registration */

es.Tool.tools.undo = {
	'constructor': es.HistoryButtonTool,
	'name': 'undo',
	'title': 'Undo (ctrl/cmd + Z)'
};

es.Tool.tools.redo = {
	'constructor': es.HistoryButtonTool,
	'name': 'redo',
	'title': 'Redo (ctrl/cmd + shift + Z)'
};

/* Inhertiance */

es.extendClass( es.HistoryButtonTool, es.ButtonTool );