Widget subMenu;
} Menu;
+typedef struct {
+ char *name;
+ Boolean value;
+} Enables;
+
extern int nrOfMenuItems;
extern MenuListItem menuItemList[];
extern Menu menuBar[];
void LoadEngineProc P((void));
void FirstSettingsProc P((void));
void SecondSettingsProc P((void));
-void GameListOptionsPopUp P((void));
+void GameListOptionsProc P((void));
void IcsOptionsProc P((void));
void SoundOptionsProc P((void));
void BoardOptionsProc P((void));
void LoadOptionsProc P((void));
void SaveOptionsProc P((void));
void EditBookProc P((void));
+void InitMenuMarkers P((void));
+void ShowGameListProc P((void)); // in ngamelist.c
+
// must be moved to xengineoutput.h
void CreateMainMenus P((Menu *mb));
void AppendMenuItem P((char *text, char *name, MenuProc *action));
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"