Source position: gtkmenu.inc line 167
function gtk_menu_get_for_attach_widget(
widget: PGtkWidget
):PGList;