static void setConsoleSize(int w, int h) {
  setFrameSize(consoleFrame(), w, h);
}