DiffFileHeaderRow constructor

const DiffFileHeaderRow(int file, { required bool collapsed, })

The header of file file.

Implementation

const DiffFileHeaderRow(super.file, {required this.collapsed});