boolean prefer_extra_panel_items;
boolean game_speed_extended;
int game_frame_delay;
+ int default_game_engine_type;
boolean bd_skip_uncovering;
boolean bd_skip_hatching;
boolean bd_scroll_delay;
int bd_smooth_movements; // not boolean -- can also be "AUTO"
+ int bd_pushing_graphics; // not boolean -- can also be "AUTO"
+ int bd_up_down_graphics; // not boolean -- can also be "AUTO"
+ int bd_skip_falling_sounds; // not boolean -- can also be "AUTO"
+ int bd_palette_c64;
+ int bd_palette_c64dtv;
+ int bd_palette_atari;
+ int bd_default_color_type;
+ int bd_random_colors;
boolean sp_show_border_elements;
boolean small_game_graphics;
boolean show_load_save_buttons;