Navigatable (@NotNull LineCol position) { if (!myRangeMarker.isValid()) return null; int offset = position.toOffset(getDocument()); int originalOffset = offset + myRangeMarker.getStartOffset(); LineCol originalPosition = LineCol.fromOffset(myOriginal.getDocument(), originalOffset); return myOriginal.getNavigatable(originalPosition); }