Wrap undo/redo in an operation

Author: Narciso Jaramillo

lib/codemirror.js

@@ -4254,8 +4254,8 @@ window.CodeMirror = (function() {
     replaceSelection: function(code, collapse, origin) {
       makeChange(this, {from: this.sel.from, to: this.sel.to, text: splitLines(code), origin: origin}, collapse || "around");
     },
-    undo: function() {makeChangeFromHistory(this, "undo");},
-    redo: function() {makeChangeFromHistory(this, "redo");},
+    undo: docOperation(function() {makeChangeFromHistory(this, "undo");}),
+    redo: docOperation(function() {makeChangeFromHistory(this, "redo");}),
 
     setExtending: function(val) {this.sel.extend = val;},