extern char *marked[];
extern Boolean shellUp[];
extern Option textOptions[], typeOptions[], dualOptions[], mainOptions[];
+extern Boolean fontIsSet[];
void GetPlacement P((DialogClass dlg, WindowPlacement *wp));
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