fillerLine method

void fillerLine({
  1. String? char,
})

Writes a blank line with optional filler character.

Implementation

void fillerLine({String? char}) {
  if (char != null) {
    gutterLine('${theme.dim}$char${theme.reset}');
  } else {
    gutterEmpty();
  }
}