+void
+on_button_redraw_clicked (GtkButton *button,
+ gpointer user_data);
+
+void
+on_button_continue_processing_clicked (GtkButton *button,
+ gpointer user_data);
+
+void
+on_button_stop_processing_clicked (GtkButton *button,
+ gpointer user_data);