Provide DoEvents function in front-ends

[xboard.git] / frontend.h

diff --git a/frontend.h b/frontend.h
index 6dcc1f7..a81fd4b 100644 (file)
--- a/frontend.h
+++ b/frontend.h
@@ -108,6 +108,7 @@ void Raw P((void));
 void Colorize P((ColorClass cc, int continuation));
 char *InterpretFileName P((char *name, char *dir));
 void DoSleep P((int n));
+void DoEvents P((void));
 
 char *UserName P((void));
 char *HostName P((void));