gtkui: configurable gui refresh rate

1 files changed, 8 insertions, 0 deletions

diff --git a/plugins/gtkui/callbacks.h b/plugins/gtkui/callbacks.h
index 3f8863fc..be6c50a7 100644
--- a/plugins/gtkui/callbacks.h
+++ b/plugins/gtkui/callbacks.h
@@ -1111,3 +1111,11 @@ on_tabstrip_text_color_set             (GtkColorButton  *colorbutton,
 void
 on_gui_plugin_changed                  (GtkComboBox     *combobox,
                                         gpointer         user_data);
+
+void
+on_seekbar_fps_value_changed           (GtkRange        *range,
+                                        gpointer         user_data);
+
+void
+on_gui_fps_value_changed               (GtkRange        *range,
+                                        gpointer         user_data);