Pop down old tags on loadng new game in WinBoard

ResetFrontEnd(), called from Reset(), did not do this in WinBoard
(unlike XBoard), so that the tags from the previous game were left on
display when -autoDisplayTags was off.

diff --git a/winboard/winboard.c b/winboard/winboard.c
index b5b0594..06cf715 100644 (file)
--- a/winboard/winboard.c
+++ b/winboard/winboard.c
@@ -8169,6 +8169,7 @@ ResetFrontEnd()
     ReleaseCapture();\r
     DrawPosition(TRUE, NULL);\r
   }\r
+  TagsPopDown();\r
 }\r
 \r
 \r