overwrite_line method

void overwrite_line(String line)

Overwrites the current line with line.

Implementation

void overwrite_line(
  final String line,
) {
  raw_console.write('\r');
  erase_line(2);
  raw_console.write(line);
}