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();
}