Source position: gnomeclient.inc line 13
type TGnomeRestartStyle = (
GNOME_RESTART_IF_RUNNING,
GNOME_RESTART_ANYWAY,
GNOME_RESTART_IMMEDIATELY,
GNOME_RESTART_NEVER
);