gnome_mdi_generic_child_set_menu_creator_full

procedure gnome_mdi_generic_child_set_menu_creator_full(

  child: PGnomeMDIGenericChild;

  func: TGnomeMDIChildMenuCreator;

  marshal: TGtkCallbackMarshal;

  data: gpointer;

  notify: TGtkDestroyNotify

);