X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=dialogs.h;h=a0b8cf6e1492993aa3376feb09a2cc5e78b9b7cc;hb=c538ad128cef9fea034c4c67405cfb51dc2b6ce3;hp=15c2725d4748337480e0538042b3d4d0290098d0;hpb=4247eefccb8916d045dccd2d63a4b78f8c5cdf45;p=xboard.git

diff --git a/dialogs.h b/dialogs.h
index 15c2725..a0b8cf6 100644
--- a/dialogs.h
+++ b/dialogs.h
@@ -77,6 +77,8 @@
 #define NO_OK		(1 << 1)
 #define NO_CANCEL	(1 << 2)
 
+#define REPLACE		(1 << 16)
+
 #define MODAL 1
 #define NONMODAL 0
 
@@ -131,6 +133,11 @@ extern WindowPlacement wpComment, wpTags, wpMoveHistory, wpMain, wpDualBoard, wp
 extern char *marked[];
 extern Boolean shellUp[];
 extern Option textOptions[], typeOptions[], dualOptions[], mainOptions[];
+extern Option historyOptions[], engoutOptions[], gamesOptions[], chatOptions[], tagsOptions[], commentOptions[];
+#define MAX_SIZE 130
+extern Boolean fontIsSet[], fontValid[][MAX_SIZE];
+extern int initialSquareSize;
+extern char *fontTable[][MAX_SIZE];
 
 
 void GetPlacement P((DialogClass dlg, WindowPlacement *wp));
@@ -201,6 +208,10 @@ void RefreshColor P((int source, int n));
 void SendString P((char *p));
 void DisplayHelp P((char *name));
 void WidgetEcho P((Option *opt, int n));
+int  ErrorOK P((int n));
+void ApplyFont P((Option *opt, char *font));
+void LockBoardSize P((int after));
+
 
 // in ngamelist.c
 int GameListClicks P((int direction));