return;
}
+void MachineWhiteProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ MachineWhiteEvent();
+ return;
+}
+
+void MachineBlackProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ MachineBlackEvent();
+ return;
+}
+
+void TwoMachinesProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ TwoMachinesEvent();
+ return;
+}
+
+void AcceptProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ AcceptEvent();
+ return;
+}
+
+void DeclineProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ DeclineEvent();
+ return;
+}
+
+void RematchProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ RematchEvent();
+ return;
+}
+
+void CallFlagProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ CallFlagEvent();
+ return;
+}
+
+void DrawProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ DrawEvent();
+ return;
+}
+
+void AbortProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ AbortEvent();
+ return;
+}
+
+void AdjournProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ AdjournEvent();
+ return;
+}
+
+void ResignProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ ResignEvent();
+ return;
+}
+
+void StopObservingProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ StopObservingEvent();
+ return;
+}
+
+void StopExaminingProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ StopExaminingEvent();
+ return;
+}
+
+void AdjuWhiteProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ UserAdjudicationEvent(+1);
+ return;
+}
+
+void AdjuBlackProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ UserAdjudicationEvent(-1);
+ return;
+}
+
+void AdjuDrawProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ UserAdjudicationEvent(0);
+ return;
+}
+
+void MoveNowProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ MoveNowEvent();
+ return;
+}
+
gboolean CloseWindowProc(GtkWidget *button)
{