Source position: gnomehref.inc line 26
procedure gnome_href_set_label(
href: PGnomeHRef;
thelabel: Pgchar
);