end_sequence(0),
game_pause(false),
speed_before_pause(g_screen_manager->get_speed()),
- levelfile(levelfile_),
+ levelfile(levelfile_),
reset_sector(),
reset_pos(),
newsector(),
newspawnpoint(),
best_level_statistics(statistics),
player_status(player_status),
- capture_demo_stream(0),
+ capture_demo_stream(0),
capture_file(),
- playback_demo_stream(0),
+ playback_demo_stream(0),
demo_controller(0),
- play_time(0),
- edit_mode(false),
+ play_time(0),
+ edit_mode(false),
levelintro_shown(false),
coins_at_start(),
bonus_at_start(),