Source position: gnomestock.inc line 311
function gnome_stock_menu_item(
thetype: Pchar;
thetext: Pchar
):PGtkWidget;