#73 Game info not immediately updated when gave saved.

[Steven]

Silly bug introduced just before 4.25...
When saving a game, the (for eg) playernames in the gameinfo and pgn windows are not changed immediately, gah.
Windows fix... make this change to scid.gui (add "updateBoard -pgn" near line176539)

--- scid.gui 2024-06-10 19:59:02.843916803 +1000
+++ scid.gui.new 2024-06-10 19:58:41.368706364 +1000
@@ -176539,6 +176539,7 @@
}
}

+ updateBoard -pgn
::windows::stats::Refresh
updateTitle
return 1

Or in linux is is

--- tcl/end.tcl (revision 3462)
+++ tcl/end.tcl (working copy)
@@ -1473,6 +1473,7 @@
}
}

+ updateBoard -pgn
::windows::stats::Refresh
updateTitle
return 1