Remove final vestiges of undo/redo buttons

core/modules/editor/engines/simple.js

@@ -136,12 +136,6 @@ SimpleEngine.prototype.createTextOperation = function() {
 	return null;
 };
 
-/*
-Execute a command
-*/
-SimpleEngine.prototype.execCommand = function() {
-};
-
 /*
 Execute a text operation
 */

core/modules/editor/factory.js

@@ -292,13 +292,6 @@ function editTextWidgetFactory(toolbarEngine,nonToolbarEngine) {
 		return !this.parentDomNode.dispatchEvent(newEvent);
 	};
 
-	/*
-	Execute the specified command on the current engine
-	*/
-	EditTextWidget.prototype.execCommand = function(command /*, <args> */) {
-		this.engine.execCommand.apply(this.engine,Array.prototype.slice.call(arguments,0));
-	};
-
 	return EditTextWidget;
 
 }

plugins/tiddlywiki/codemirror/engine.js

@@ -152,21 +152,6 @@ CodeMirrorEngine.prototype.executeTextOperation = function(operation) {
 	return newText;
 };
 
-/*
-Execute a command
-*/
-CodeMirrorEngine.prototype.execCommand = function(command) {
-	this.cm.focus();
-	switch(command) {
-		case "undo":
-			this.cm.execCommand("undo", false, null);
-			break;
-		case "redo":
-			this.cm.execCommand("redo", false, null);
-			break;
-	}
-};
-
 exports.CodeMirrorEngine = CodeMirrorEngine;
 
 })();