Reset fontIsSet when sizing causes change to default font

[xboard.git] / dialogs.h

diff --git a/dialogs.h b/dialogs.h
index 3a7fc2e..fa4ee52 100644 (file)
--- 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,7 @@ extern WindowPlacement wpComment, wpTags, wpMoveHistory, wpMain, wpDualBoard, wp
 extern char *marked[];
 extern Boolean shellUp[];
 extern Option textOptions[], typeOptions[], dualOptions[], mainOptions[];
+extern Boolean fontIsSet[];
 
 
 void GetPlacement P((DialogClass dlg, WindowPlacement *wp));
@@ -154,6 +157,7 @@ void SetWidgetText  P((Option *opt, char *buf, int n));
 void GetWidgetState  P((Option *opt, int *state));
 void SetWidgetState  P((Option *opt, int state));
 void SetWidgetLabel P((Option *opt, char *buf));
+void SetComboChoice  P((Option *opt, int choice));
 void SetDialogTitle  P((DialogClass dlg, char *title));
 void LoadListBox P((Option *opt, char *emptyText, int n1, int n2));
 void HighlightListBoxItem P((Option *opt, int nr));
@@ -198,6 +202,12 @@ void LoadOptionsPopUp P((DialogClass parent));
 void GameListOptionsPopUp P((DialogClass parent));
 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));