summaryLine method

void summaryLine(
  1. int count,
  2. int total, {
  3. List<String>? highlights,
})

Writes a summary/count line: │ count/total • item1, item2, ...

Implementation

void summaryLine(int count, int total, {List<String>? highlights}) {
  final countPart =
      '${theme.accent}$count${theme.reset}/${theme.dim}$total${theme.reset}';
  if (highlights != null && highlights.isNotEmpty) {
    final items =
        highlights.map((h) => '${theme.accent}$h${theme.reset}').join(', ');
    gutterLine('$countPart • $items');
  } else {
    gutterLine(countPart);
  }
}