Update Game List when setting new Game List Tags

[xboard.git] / frontend.h

diff --git a/frontend.h b/frontend.h
index a81fd4b..aa7612d 100644 (file)
--- a/frontend.h
+++ b/frontend.h
@@ -180,6 +180,7 @@ void GameListPopUp P((FILE *fp, char *filename));
 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 */