static void onWindowClosing(Window w, O r) {
  if (w != null) w.addWindowAdapter(new WindowListener {
    public void windowClosing(WindowEvent e) {
      pcallF(r);
    }
  });
}