Source position: gnomestock.inc line 238
function gnome_stock_button(
thetype: PAnsiChar
):PGtkWidget;