better contrast for XBoard icon on a dark background

[xboard.git] / frontend.h

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