Source position: gnomedateedit.inc line 40
procedure gnome_date_edit_set_time(
gde: PGnomeDateEdit;
the_time: Time_t
);