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));
void GameListPopDown P((void));
void GameListHighlight P((int index));
void GameListDestroy P((void));
+void GameListUpdate P((void));
FILE *GameFile P((void));
/* these are in wedittags.c */