Source position: gnomeclient.inc line 87
procedure gnome_client_set_restart_style(
client: PGnomeClient;
style: TGnomeRestartStyle
);