push changes to history manager

This commit is contained in:
Bruno Windels 2019-08-01 11:26:20 +02:00
parent aa22c90f2c
commit 98bc0d24f4
2 changed files with 7 additions and 4 deletions

View file

@ -107,7 +107,7 @@ export default class EditorModel {
const caretOffset = diff.at - removedOffsetDecrease + addedLen;
const newPosition = this.positionForOffset(caretOffset, true);
this._setActivePart(newPosition, canOpenAutoComplete);
this._updateCallback(newPosition);
this._updateCallback(newPosition, inputType, diff);
}
_setActivePart(pos, canOpenAutoComplete) {