X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=blobdiff_plain;f=dialogs.h;h=fa4ee5296eb6d53b5e854a6625f28d212fbff56d;hp=0d933d9e689e90f97d904b4d34ec4b2a7fd63762;hb=88a788118a6c2a024d3a3dc42105ca0335f6812f;hpb=d000054f49fe0bbe459eb28b18b7bc46049b8120 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));