return;
}
+/*
+ * File menu
+ */
+
void LoadNextGameProc(object, user_data)
GtkObject *object;
gpointer user_data;
return;
}
+
+void LoadNextPositionProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ ReloadPosition(1);
+ return;
+}
+
+void LoadPrevPositionProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ ReloadPosition(-1);
+ return;
+}
+
+void ReloadPositionProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ ReloadPosition(0);
+ return;
+}
+
+
+/* End File Menu */
+
void MachineWhiteProc(object, user_data)
GtkObject *object;
gpointer user_data;
}
/* Option Menu */
+void AutocommProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ appData.autoComment = !appData.autoComment;
+ return;
+}
+
+void AutoflagProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ appData.autoCallFlag = !appData.autoCallFlag;
+ return;
+}
+
+void AutoflipProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ appData.autoFlipView = !appData.autoFlipView;
+ return;
+}
+
void ShowThinkingProc(object, user_data)
GtkObject *object;
gpointer user_data;