highlights property
Selection decorations; deriving these does not rerender the patch.
Implementation
late final List<DiffCommentLineHighlight> highlights = List.unmodifiable([
if (rangeStart != null && selection != null)
for (final key in document.keysIn(selection!))
DiffCommentLineHighlight(
key: key,
kind: DiffCommentLineHighlightKind.range,
),
if (selected != null)
DiffCommentLineHighlight(
key: selected!,
kind: DiffCommentLineHighlightKind.selected,
),
]);