void ResetProc P((GtkObject *object, gpointer user_data));
void WhiteClockProc P((GtkObject *object, gpointer user_data));
void BlackClockProc P((GtkObject *object, gpointer user_data));
+gboolean ExposeProc P((GtkObject *object, gpointer user_data));
/* Step Menu */
void BackwardProc P((GtkObject *object, gpointer user_data));
void RetractMoveProc P((GtkObject *object, gpointer user_data));
/* Option Menu */
+void ShowThinkingProc P((GtkObject *object, gpointer user_data));
+void HideThinkingProc P((GtkObject *object, gpointer user_data));
void FlipViewProc P((GtkObject *object, gpointer user_data));
void GetMoveListProc P((GtkObject *object, gpointer user_data));