diff --git a/lib/ace/undomanager.js b/lib/ace/undomanager.js index 33c76526..15b22e06 100644 --- a/lib/ace/undomanager.js +++ b/lib/ace/undomanager.js @@ -44,11 +44,6 @@ var UndoManager = function() { (function() { - /*this.$doc = null; - this.setDocument = function(doc) { - this.$doc = doc; - };*/ - this.execute = function(options) { var deltas = options.args[0]; this.$doc = options.args[1];