static <A extends JComponent> A withTypeWriterFont(A c) {
  ret setFont(c, typeWriterFont());
}