static void onWindowClosing(Window w, fO r) {
  if (w != null) w.addWindowListener(new WindowAdapter {
    public void windowClosing(WindowEvent e) {
      pcallF(r);
    }
  });
}