static void setConsoleWidth(int w) {
  setFrameWidth(consoleFrame(), w);
}