void (*exit_message_function)(char *, va_list);
void (*exit_function)(int);
+ char *system_uuid; // initialized when reading first setup file
+
boolean headless;
};
char *conf_directory;
char *execute_command;
+ char *tape_log_filename;
char *special_flags;
char *debug_mode;
{
char *player_name;
+ char *player_uuid;
+ char *system_uuid;
+
boolean multiple_users;
boolean sound;
int game_frame_delay;
boolean sp_show_border_elements;
boolean small_game_graphics;
- boolean show_snapshot_buttons;
+ boolean show_load_save_buttons;
+ boolean show_undo_redo_buttons;
boolean only_show_local_scores;
char *graphics_set;