After undoing an insert (which amounts to a remove)

there should not be a selection (fixed)
This commit is contained in:
Eddy Bruel 2010-11-02 18:24:06 +01:00
commit 86478b9353

View file

@ -557,7 +557,7 @@ var Document = function(text, mode) {
this.selection.moveCursorToPosition(delta.range.start);
} else {
this.insert(delta.range.start, delta.text, true);
this.selection.setSelectionRange(delta.range);
this.selection.clearSelection();
}
}
},