static JTextArea typeWriterTextArea_noUndo() {
  ret typeWriterTextArea_noUndo("");
}

static JTextArea typeWriterTextArea_noUndo(S text) {
  ret setFont(jTextArea_noUndo(text), typeWriterFont());
}