X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=dialogs.h;h=fa4ee5296eb6d53b5e854a6625f28d212fbff56d;hb=88a788118a6c2a024d3a3dc42105ca0335f6812f;hp=0d933d9e689e90f97d904b4d34ec4b2a7fd63762;hpb=f5445dab3a8035dfdfa3eb8581d323c0661390fb;p=xboard.git

diff --git a/dialogs.h b/dialogs.h
index 0d933d9..fa4ee52 100644
--- a/dialogs.h
+++ b/dialogs.h
@@ -133,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));