--- a/src/gtkui/gtkui.h	Wed Jun 24 06:06:40 2009 +0000
+++ b/src/gtkui/gtkui.h	Thu Jun 25 21:21:18 2009 +0000
@@ -134,6 +134,9 @@
 void resume_action_callback( GtkAction *action, gpointer user_data);
 void load_state_action_callback( GtkAction *action, gpointer user_data);
 void save_state_action_callback( GtkAction *action, gpointer user_data);
+void quick_load_action_callback( GtkAction *action, gpointer user_data);
+void quick_save_action_callback( GtkAction *action, gpointer user_data);
+void quick_state_action_callback( GtkRadioAction *action, GtkRadioAction *current, gpointer user_data);
 void about_action_callback( GtkAction *action, gpointer user_data);
 void exit_action_callback( GtkAction *action, gpointer user_data);