LineCol (@NotNull Document fromDocument, @Nullable Document toDocument, @NotNull LineCol position) { try { if (toDocument == null) return position; int targetLine = Diff.translateLine(fromDocument.getCharsSequence(), toDocument.getCharsSequence(), position.line, true); return new LineCol(targetLine, position.column); } catch (FilesTooBigForDiffException ignore) { return position; } }