Source position: gnomepopupmenu.inc line 3
function gnome_popup_menu_new(
uiinfo: PGnomeUIInfo
):PGtkWidget;