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