X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=blobdiff_plain;f=dialogs.h;h=99b01e40e46dda6bcd7ed5789103ceffa77a88de;hp=15c2725d4748337480e0538042b3d4d0290098d0;hb=HEAD;hpb=4247eefccb8916d045dccd2d63a4b78f8c5cdf45 diff --git a/dialogs.h b/dialogs.h index 15c2725..99b01e4 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,12 @@ 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)); +void Preview P((int n, char *s)); +void DrawPosition P((int fullRedraw, Board b)); + // in ngamelist.c int GameListClicks P((int direction));