Ensure the player names are refreshed after a switch (impacts Curses mode).
[gnushogi.git] / misc / gnushogi.pat
misc/gnushogi.pat