header method

void header(String title)

Public method or function.

Implementation

void header(String title) {
  terminal.writeLine('');
  terminal.writeLine('=== $title ===');
  terminal.writeLine('');
}