/*
* There can theoretically be multiple text changes, but we just set
* selection to the first
*/
TextChange textChange = textChanges.get(0);
Position endPosition =
new Position(new LineInfo(textChange.getEndLine(), textChange.getEndLineNumber()),
textChange.getEndColumn());
if (textChange.getType() == TextChange.Type.INSERT) {
endPosition = PositionUtils.getPosition(endPosition, 1);
}
selection.setSelection(new LineInfo(textChange.getLine(), textChange.getLineNumber()),
textChange.getColumn(), endPosition.getLineInfo(),
endPosition.getColumn());
}