Source position: gtkmenu.pp line 63
function gtk_menu_get_attach_widget(
menu: PGtkMenu
):PGtkWidget;