IRegion charRegion= toCharRegion(range); Position position= new Position(charRegion.getOffset(), charRegion.getLength()); Annotation annotation= new RevisionAnnotation(revision.getId()); added.put(annotation, position); } catch (BadLocationException x) {
IRegion charRegion= toCharRegion(range); Position position= new Position(charRegion.getOffset(), charRegion.getLength()); Annotation annotation= new RevisionAnnotation(revision.getId()); added.put(annotation, position); } catch (BadLocationException x) {