static void onPossiblyInternalFrameDeactivated(Component c, fO r) {
  JInternalFrame iF = getInternalFrame(c);
  if (iF != null) ret with onInternalFrameDeactivated(iF, r);
  
  Frame f = getAWTFrame(c);
  if (f != null) f.addWindowListener(new WindowAdapter() {
    public void windowDeactivated(WindowEvent e) {
      pcall-messagebox { callF(r); }
    }
  });
}