X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xgamelist.h;h=0c3fdf84466c3117f5e7076cb30d4fbfc1cfc703;hb=369d80a758a3b9f552874f26909d79864a902731;hp=21340aae8a19f4e92fcd985b6a30dc9d99414a11;hpb=6256f7e127a42d71c5e99a0bf70eee0a599c5839;p=xboard.git

diff --git a/xgamelist.h b/xgamelist.h
index 21340aa..0c3fdf8 100644
--- a/xgamelist.h
+++ b/xgamelist.h
@@ -27,6 +27,8 @@ void ShowGameListProc P((Widget w, XEvent *event,
 			 String *prms, Cardinal *nprms));
 void LoadSelectedProc P((Widget w, XEvent *event,
 			 String *prms, Cardinal *nprms));
+void SetFilterProc P((Widget w, XEvent *event,
+			 String *prms, Cardinal *nprms));
 
 extern Widget gameListShell;
 #endif /* _XGAMEL_H */