Source position: gnomestock.inc line 221
function gnome_pixmap_button(
pixmap: PGtkWidget;
thetext: PAnsiChar
):PGtkWidget;