exit_menu_cb (GtkMenuItem *menuitem,
gpointer user_data);
-void
-cut_menu_cb (GtkMenuItem *menuitem,
- gpointer user_data);
-
-void
-copy_menu_cb (GtkMenuItem *menuitem,
- gpointer user_data);
-
-void
-paste_menu_cb (GtkMenuItem *menuitem,
- gpointer user_data);
-
void
about_menu_cb (GtkMenuItem *menuitem,
gpointer user_data);
gpointer user_data);
void
-pref_changed_cb (GtkWidget *widget,
- gpointer user_data);
-
-void
-run_next_cb (GtkButton *button,
+pref_changed_cb (GtkToggleButton *togglebutton,
gpointer user_data);
void
-run_prev_cb (GtkButton *button,
+run_this_cb (GtkButton *button,
gpointer user_data);
void
-run_this_cb (GtkButton *button,
+settings_cb (GtkButton *button,
gpointer user_data);
void
-manual_cb (GtkButton *button,
+run_next_cb (GtkButton *button,
gpointer user_data);
void
-settings_cb (GtkButton *button,
+run_prev_cb (GtkButton *button,
gpointer user_data);
void
gpointer user_data);
void
-enabled_cb (GtkToggleButton *togglebutton,
+manual_cb (GtkButton *button,
gpointer user_data);
void
settings_std_cb (GtkButton *button,
gpointer user_data);
+void
+settings_reset_cb (GtkButton *button,
+ gpointer user_data);
+
void
settings_ok_cb (GtkButton *button,
gpointer user_data);