Redo Game List Options with generic popup

[xboard.git] / xgamelist.h

diff --git a/xgamelist.h b/xgamelist.h
index 5376771..17dec72 100644 (file)
--- a/xgamelist.h
+++ b/xgamelist.h
@@ -24,7 +24,6 @@
 #define _XGAMEL_H 1
 
 void ShowGameListProc P((void));
-void GameListOptionsPopDown P((void));
 void LoadSelectedProc P((Widget w, XEvent *event,
                         String *prms, Cardinal *nprms));
 void SetFilterProc P((Widget w, XEvent *event,