static void consoleMargin(int margin) {
  call(getConsoleTextArea_gen(), "setBorder", BorderFactory.createEmptyBorder(margin, margin, margin, margin));
}