Wrap undo/redo in an operation

codemirror · Feb 8, 2013 · ae179dd · ae179dd
1 parent 89df69d
commit ae179dd
Showing 1 changed file with 2 additions and 2 deletions.
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;},