void LoadOptionsProc P((void));
void SaveOptionsProc P((void));
void EditBookProc P((void));
+void InitMenuMarkers P((void));
// must be moved to xengineoutput.h
void CreateMenuButton P((char *name, Menu *mb));
int MenuToNumber P((char *menuName));
void SetMenuEnables P((Enables *enab));
+void EnableButtonBar P((int state));
+char *ModeToWidgetName P((GameMode mode));
+int LoadGamePopUp P((FILE *f, int gameNumber, char *title));
+void CreateAnimVars P((void));
+
+
+extern char *gameCopyFilename, *gamePasteFilename;
+extern Boolean saveSettingsOnExit;
+extern char *settingsFileName;
+
+
#define OPTIONSDIALOG
+#define INFOFILE "xboard.info"