+- Ludii Forum (https://ludii.games/forums)
+-- Forum: Problems (https://ludii.games/forums/forumdisplay.php?fid=5)
+--- Forum: Ludii Player Problems (https://ludii.games/forums/forumdisplay.php?fid=6)
+--- Thread: (1.2.0) "Reset Names to Defaults" not working (/showthread.php?tid=598)
(1.2.0) "Reset Names to Defaults" not working - slimy_asparagus - 06-07-2021
I have finished some remote games and restarted Ludii. I click on "Reset Names to Defaults" and it just sort of flashes. But the old remote names are still there. The checkbox is not checked. (The remote game was actually on 1.1.16 if that makes a difference.) Changing them manually and pressing Apply does work.
RE: (1.2.0) "Reset Names to Defaults" not working - MatthewStephenson - 06-07-2021
Hi,
Thanks. I'll have this fixed for the next release
Cheers,
Matthew