char *conf_directory;
char *execute_command;
+ char *tape_log_filename;
char *special_flags;
char *debug_mode;
boolean sp_show_border_elements;
boolean small_game_graphics;
boolean show_snapshot_buttons;
+ boolean show_undo_redo_buttons;
boolean only_show_local_scores;
char *graphics_set;