external set_default : [>`window] obj -> [>`widget] obj -> unit
      = "ml_gtk_window_set_default"