Source position: gnomedruidpagefinish.inc line 44
procedure gnome_druid_page_finish_set_text_color(
druid_page_finish: PGnomeDruidPageFinish;
color: PGdkColor
);