Source position: gnomedruidpagefinish.inc line 41
procedure gnome_druid_page_finish_set_textbox_color(
druid_page_finish: PGnomeDruidPageFinish;
color: PGdkColor
);