Source position: gnomehref.inc line 24
procedure gnome_href_set_url(
href: PGnomeHRef;
url: Pgchar
);