diff --git a/src/play_controller.cpp b/src/play_controller.cpp index b5142a1153c4..125a6b9bd5fa 100644 --- a/src/play_controller.cpp +++ b/src/play_controller.cpp @@ -1263,3 +1263,12 @@ void play_controller::show_objectives() const gui2::show_transient_message(gui_->video(), get_scenario_name(), (objectives.empty() ? no_objectives : objectives), "", true); t.reset_objectives_changed(); } + +void play_controller::toggle_skipping_replay() +{ + skip_replay_ = !skip_replay_; + const std::shared_ptr skip_animation_button = get_display().find_action_button("skip-animation"); + if (skip_animation_button) { + skip_animation_button->set_check(skip_replay_); + } +} diff --git a/src/play_controller.hpp b/src/play_controller.hpp index 80f98ceaa8fc..f2d0aaceb088 100644 --- a/src/play_controller.hpp +++ b/src/play_controller.hpp @@ -186,7 +186,7 @@ class play_controller : public controller_base, public events::observer, public config to_config() const; bool is_skipping_replay() const { return skip_replay_; } - void toggle_skipping_replay() { skip_replay_ = !skip_replay_; } + void toggle_skipping_replay(); bool is_linger_mode() const { return linger_; } void do_autosave();