From 0f4cabc544e214789e28621abe21f1d17fe5e963 Mon Sep 17 00:00:00 2001 From: josteph Date: Mon, 6 Nov 2017 00:25:48 +0000 Subject: [PATCH] replay: Set 'skip animation' button when pressing its hotkey --- src/play_controller.cpp | 9 +++++++++ src/play_controller.hpp | 2 +- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/src/play_controller.cpp b/src/play_controller.cpp index b5142a1153c4f..125a6b9bd5fab 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 80f98ceaa8fc1..f2d0aaceb0880 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();