static void onFrameClosing(Window w, O r) {
  onWindowClosing(w, r);
}