Merge branch 'master' of github.com:ajaxorg/ace

This commit is contained in:
Fabian Jakobs 2011-02-21 12:55:21 +01:00
commit e064fe4dc2

View file

@ -86,7 +86,7 @@ var EditSession = function(text, mode) {
this.onChange = function(e) {
var delta = e.data;
this.$modified = true;
if (!this.$fromUndo && this.$undoManager) {
if (!this.$fromUndo && this.$undoManager && !delta.ignore) {
this.$deltas.push(delta);
this.$informUndoManager.schedule();
}