Allow <Enter> to apply filter in XB GameList filter edit

[xboard.git] / xgamelist.h

diff --git a/xgamelist.h b/xgamelist.h
index 21340aa..0c3fdf8 100644 (file)
--- 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 */