public AnchoredSelection createAnchoredSelection(Position startPos, Position endPos) { Anchor start = Anchor.createAnchor(getSession().getDocument(), startPos.getRow(), startPos.getColumn()); Anchor end = Anchor.createAnchor(getSession().getDocument(), endPos.getRow(), endPos.getColumn()); return new AnchoredSelectionImpl(start, end); }
@Override public Anchor createAnchor(Position pos) { return Anchor.createAnchor(getSession().getDocument(), pos.getRow(), pos.getColumn()); }