Merge commit 'master-20091122' into gtk

[xboard.git] / frontend.h

diff --git a/frontend.h b/frontend.h
index 622eeec..9b43b46 100644 (file)
--- a/frontend.h
+++ b/frontend.h
@@ -186,6 +186,8 @@ void ThawUI P((void));
 extern char *programName;
 extern int commentUp;
 
+void GreyRevert P((Boolean grey));
+
 typedef struct FrontEndProgramStats_TAG {
     int which;
     int depth;
@@ -200,4 +202,9 @@ typedef struct FrontEndProgramStats_TAG {
 
 void SetProgramStats P(( FrontEndProgramStats * stats )); /* [AS] */
 
+void EngineOutputPopUp P((void));
+void EngineOutputPopDown P((void));
+int  EngineOutputIsUp P((void));
+int  EngineOutputDialogExists P((void));
+
 #endif