Position beforeOffset = new Position(pos.offset, offset
- pos.offset);
Position afterOffset = new Position(offset, pos.length
- (offset - pos.offset));
ContributionAnnotation oldAnnotation = (ContributionAnnotation) annotation;
removeFromHistory(oldAnnotation);
ContributionAnnotation newAnnotation;
User source = oldAnnotation.getSource();
newAnnotation = new ContributionAnnotation(source, model);
addContributionAnnotation(newAnnotation, beforeOffset);
newAnnotation = new ContributionAnnotation(source, model);
addContributionAnnotation(newAnnotation, afterOffset);
}
}
}
}