From c7daceb51a7f55d8db0fc3abb98fefce136bb8f5 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Wed, 19 Jan 2011 08:15:13 +0100
Subject: [PATCH] remove dead code

---
 lib/ace/undomanager.js | 5 -----
 1 file changed, 5 deletions(-)

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];