1 #include <gtk/gtk.h> 2 3 4 void 5 on_button_launch_clicked (GtkButton *button, 6 gpointer user_data); 7 8 void 9 on_button_help_clicked (GtkButton *button, 10 gpointer user_data); 11 12 void 13 on_button_close_help_clicked (GtkButton *button, 14 gpointer user_data); 15 16 gboolean 17 on_window_help_delete_event (GtkWidget *widget, 18 GdkEvent *event, 19 gpointer user_data); 20 21 void 22 on_button_stop_clicked (GtkButton *button, 23 gpointer user_data); 24