1.1 --- a/src/gtkui/gtkui.h Wed Jun 24 06:06:40 2009 +0000
1.2 +++ b/src/gtkui/gtkui.h Fri Jun 26 13:53:54 2009 +0000
1.4 void resume_action_callback( GtkAction *action, gpointer user_data);
1.5 void load_state_action_callback( GtkAction *action, gpointer user_data);
1.6 void save_state_action_callback( GtkAction *action, gpointer user_data);
1.7 +void quick_load_action_callback( GtkAction *action, gpointer user_data);
1.8 +void quick_save_action_callback( GtkAction *action, gpointer user_data);
1.9 +void quick_state_action_callback( GtkRadioAction *action, GtkRadioAction *current, gpointer user_data);
1.10 void about_action_callback( GtkAction *action, gpointer user_data);
1.11 void exit_action_callback( GtkAction *action, gpointer user_data);