maxLineNumber property

int get maxLineNumber

The largest line number a view of this diff can show, for sizing a line-number gutter. With the full texts, that includes every line of both files, since unchanged lines can be expanded.

Implementation

int get maxLineNumber {
  var largest = math.max(oldLines?.length ?? 0, newLines?.length ?? 0);
  for (final hunk in hunks) {
    largest = math.max(
      largest,
      math.max(
        hunk.oldStart + math.max(hunk.oldCount - 1, 0),
        hunk.newStart + math.max(hunk.newCount - 1, 0),
      ),
    );
  }
  return largest;
}