Minor tweaks.

This commit is contained in:
Zef Hemel 2011-11-16 16:46:28 +01:00
commit 42d6cedf4d

View file

@ -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();