#include <gtk/gtk.h>
#include "common.h"
+#include "xboard.h"
#include <errno.h>
#include "backend.h"
ExitEvent(0);
}
+/* Help Menu */
+void InfoProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ char buf[MSG_SIZ];
+ snprintf(buf, sizeof(buf), "xterm -e info --directory %s --directory . -f %s &",
+ INFODIR, INFOFILE);
+ system(buf);
+ return;
+}
+
+void ManProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ char buf[MSG_SIZ];
+ snprintf(buf, sizeof(buf), "xterm -e man xboard &");
+ system(buf);
+ return;
+}
+
+void HintProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ HintEvent();
+ return;
+}
+
+void BookProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ BookEvent();
+ return;
+}
+
void AboutProc (object, user_data)
GtkObject *object;
gpointer user_data;
gtk_widget_destroy(about);
}
+/* End Help Menu */
+
+void IcsClientProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ IcsClientEvent();
+ return;
+}
+
void LoadNextGameProc(object, user_data)
GtkObject *object;
gpointer user_data;
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 BackwardProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ BackwardEvent();
+ return;
+}
+
+void ForwardProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ ForwardEvent();
+ return;
+}
+
+void ToStartProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ ToStartEvent();
+ return;
+}
+
+void ToEndProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ ToEndEvent();
+ return;
+}
+
+void RevertProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ RevertEvent();
+ return;
+}
+
+void TruncateGameProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ TruncateGameEvent();
+ return;
+}
void MoveNowProc(object, user_data)
GtkObject *object;
return;
}
+void RetractMoveProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ RetractMoveEvent();
+ return;
+}
+
+/* Option Menu */
+void FlipViewProc(object, user_data)
+ GtkObject *object;
+ gpointer user_data;
+{
+ printf("DEBUG: in flip view\n");
+ flipView = !flipView;
+ DrawPosition(True, NULL);
+ return;
+}
+
gboolean CloseWindowProc(GtkWidget *button)
{