moved some more items from the options menu into gtk

[xboard.git] / callback.h

diff --git a/callback.h b/callback.h
index 6f67e26..eb795bb 100644 (file)
--- a/callback.h
+++ b/callback.h
@@ -66,6 +66,11 @@ void IcsAlarmProc P((GtkObject *object, gpointer user_data));
 void MoveSoundProc P((GtkObject *object, gpointer user_data));
 void OldSaveStyleProc P((GtkObject *object, gpointer user_data));
 void PeriodicUpdatesProc P((GtkObject *object, gpointer user_data));
+void PremoveProc P((GtkObject *object, gpointer user_data));
+void QuietPlayProc P((GtkObject *object, gpointer user_data));
+void PonderNextMoveProc P((GtkObject *object, gpointer user_data));
+void PopupExitMessageProc P((GtkObject *object, gpointer user_data));
+void PopupMoveErrorsProc P((GtkObject *object, gpointer user_data));
 
 /* Help Menu */