static void focusConsole() {
  JTextField tf = consoleInputField();
  if (tf != null) {
    //print("Focusing console");
    //getFrame(tf).requestFocus();
    tf.requestFocus();
  }
}