Source position: gnomehref.inc line 23
function gnome_href_new(
url: Pgchar;
thelabel: Pgchar
):PGtkWidget;