void replay_controller::init_replay_display(){ DBG_REPLAY << "initializing replay-display... " << (SDL_GetTicks() - ticks_) << "\n"; rebuild_replay_theme(); gui_->get_theme().theme_reset().attach_handler(this); DBG_REPLAY << "done initializing replay-display... " << (SDL_GetTicks() - ticks_) << "\n"; }
void replay_controller::handle_generic_event(const std::string& name){ if( name == "completely_redrawn" ) { buttons_.update(gui_); gui::button* skip_animation_button = gui_->find_button("skip-animation"); skip_animation_button->set_check(skip_replay_); } else { rebuild_replay_theme(); } }
void replay_controller::handle_generic_event(const std::string& /*name*/){ rebuild_replay_theme(); }