Source position: gnomedialog.inc line 54
procedure gnome_dialog_close_hides(
dialog: PGnomeDialog;
just_hide: gboolean
);