X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=dialogs.h;h=95e2b9c196239796aa88b06134ce2ff410727c21;hb=89b07e580a401d8c123c4a10e82789a873f37965;hp=f4f56a56c60e24968f59cf54c0dccedaf0d75805;hpb=456ca4fea2c7092aaaf14e9bc827e534f96e4d22;p=xboard.git

diff --git a/dialogs.h b/dialogs.h
index f4f56a5..95e2b9c 100644
--- a/dialogs.h
+++ b/dialogs.h
@@ -126,7 +126,7 @@ extern int dialogError;
 extern ButtonCallback *comboCallback;
 extern void *userLogo;
 
-extern WindowPlacement wpComment, wpTags, wpMoveHistory, wpMain, wpDualBoard;
+extern WindowPlacement wpComment, wpTags, wpMoveHistory, wpMain, wpDualBoard, wpConsole;
 extern char *marked[];
 extern Boolean shellUp[];
 extern Option textOptions[], typeOptions[], dualOptions[], mainOptions[];
@@ -138,6 +138,9 @@ int GenericReadout P((Option *currentOption, int selected));
 int PopDown P((DialogClass n));
 void MarkMenu P((char *item, int dlgNr));
 int AppendText P((Option *opt, char *s));
+void AppendColorized P((Option *opt, char *s, int count));
+void Show P((Option *opt, int hide));
+int  IcsHist P((int dir, Option *opt, DialogClass dlg));
 void HighlightText P((Option *opt, int from, int to, Boolean highlight));
 void SetColor P((char *colorName, Option *box));
 //void ColorChanged P((Widget w, XtPointer data, XEvent *event, Boolean *b));