Wrap undo/redo in an operation

Narciso Jaramillo · marijnh · commit ae179ddd1fe0 · 2013-02-08T09:38:21.000+01:00
diff --git a/lib/codemirror.js b/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;},
 
