svoid maximizeConsole() {
  maximizeFrame(consoleFrame());
}