static void onFocus(JComponent c, fO action) {
  c.addFocusListener(new FocusAdapter {
    public void focusGained(FocusEvent evt) {
      pcallF(action);
    }
  });
}