static void onCaret(JTextArea ta, final O r) {
  ta.addCaretListener(new CaretListener {
    public void caretUpdate(CaretEvent e) {
      pcallF(r);
    }
  });
}