static void setConsoleHeight(int h) {
  setFrameHeight(consoleFrame(), h);
}