static void consoleInputFont(Font f) {
  swing {
    JTextField input = consoleInputField();
    if (input != null) {
      input.setFont(f);
      revalidateFrame(input);
    }
  }
}