void DrawSeekBackground P(( int left, int top, int right, int bottom ));
void DrawSeekText P((char *buf, int x, int y));
void DrawSeekDot P((int x, int y, int color));
+void DrawSeekOpen P((void));
+void DrawSeekClose P((void));
void PopUpMoveDialog P((char first));
void RingBell P((void));
/* these are in wgamelist.c */
void GameListPopUp P((FILE *fp, char *filename));
+void GameListPopDown P((void));
void GameListHighlight P((int index));
void GameListDestroy P((void));