Source position: gtkmenufactory.pp line 39
procedure gtk_menu_factory_destroy(
factory: PGtkMenuFactory
);