From 42d6cedf4dd8abeba7bb89c96253ebd28ffa1b23 Mon Sep 17 00:00:00 2001
From: Zef Hemel <zef@zef.me>
Date: Wed, 16 Nov 2011 16:46:28 +0100
Subject: [PATCH] Minor tweaks.

---
 lib/ace/placeholder.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/ace/placeholder.js b/lib/ace/placeholder.js
index ed5e7da9..11eaf767 100644
--- a/lib/ace/placeholder.js
+++ b/lib/ace/placeholder.js
@@ -184,6 +184,7 @@ var PlaceHolder = function(session, length, pos, others, mainClass, othersClass)
         this.session.removeMarker(this.markerId);
         this.hideOtherMarkers();
         this.doc.removeEventListener("change", this.$onUpdate);
+        this.session.selection.removeEventListener("changeCursor", this.$onCursorChange);
         this.pos.detach();
         for (var i = 0; i < this.others.length; i++) {
             this.others[i].detach();