std::function< void()> on_end_replay_
boost::optional< REPLAY_VISION > vision_
void return_to_play_side(bool r=true)
void replay_ui_playback_should_stop()
bool return_to_play_side_
Stores all information related to functions that can be bound to hotkeys.
bool is_controlling_view() const
events::command_disabler disabler_
const boost::shared_ptr< config > & get_reset_state()
virtual ~replay_stop_condition()
std::shared_ptr< gui::button > play_button()
bool recorder_at_end() const
boost::scoped_ptr< replay_stop_condition > stop_condition_
void handle_generic_event(const std::string &name) override
std::shared_ptr< gui::button > play_turn_button()
boost::shared_ptr< config > reset_state_
std::shared_ptr< gui::button > stop_button()
void replay_show_everything()
virtual void new_side_turn(int, int)
REPLAY_RETURN play_side_impl()
replay_controller(play_controller &controller, bool control_view, const boost::shared_ptr< config > &reset_state, const std::function< void()> &on_end_replay=nop)
void update_viewing_player()
bool allow_reset_replay() const
virtual bool should_stop()
void rebuild_replay_theme()
GLdouble GLdouble GLdouble r
bool replay_ui_has_all_buttons()
GLuint const GLchar * name
std::shared_ptr< gui::button > play_side_button()
void replay_ui_playback_should_start()
play_controller & controller_
bool can_execute_command(const hotkey::hotkey_command &cmd, int index) const
std::shared_ptr< gui::button > reset_button()
GLsizei const GLcharARB ** string
std::shared_ptr< gui::button > play_move_button()