target rate slider, hyperspeed, more

1 files changed, 8 insertions, 3 deletions

diff --git a/bench/bench_window.hpp b/bench/bench_window.hpp
index 86b2f1c..bd15e4b 100644
--- a/bench/bench_window.hpp
+++ b/bench/bench_window.hpp
@@ -16,7 +16,7 @@ public:
   bool runner_stop_now;
   bool runner_stop_on_death;
   bool runner_stop_on_win;
-  bool runner_update_ui;
+  bool runner_hyperspeed;
 
   core_widget core;
 
@@ -71,10 +71,13 @@ private:
   Gtk::Button start_button;
   Gtk::Button stop_button;
 
-  Gtk::CheckButton draw_each_step_toggle;
+  Gtk::CheckButton hyperspeed_toggle;
   Gtk::CheckButton pause_on_death_toggle;
   Gtk::CheckButton pause_on_win_toggle;
 
+  Gtk::Label target_core_rate_label;
+  Gtk::Scale target_core_rate_scale;
+
   Gtk::Button add_warrior_button;
   Gtk::Button remove_warrior_button;
 
@@ -91,10 +94,12 @@ private:
   void on_click_start();
   void on_click_stop();
 
-  void on_toggle_draw_each_step();
+  void on_toggle_hyperspeed();
   void on_toggle_pause_on_death();
   void on_toggle_pause_on_win();
 
+  void on_target_core_rate_changed();
+
   void on_click_add_warrior();
   void on_click_remove_warrior();