char *device_name;
int device_fd;
+ int sample_rate;
+
int num_channels;
int music_channel;
int first_sound_channel;
boolean bd_skip_uncovering;
boolean bd_skip_hatching;
boolean bd_scroll_delay;
+ boolean bd_show_invisible_outbox;
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;
int volume_simple;
int volume_loops;
int volume_music;
+ boolean audio_sample_rate_44100;
boolean network_mode;
int network_player_nr;