09-08-2020, 06:52 AM
Hi Alek,
You may have to open the Preferences dialog (Ludii > Preferences) and click on the button next to "Reset to Defaults".
I will see if I can find a better automatic solution for this issue to include in the next release, but for now this should solve your problem.
Cheers,
Matthew
You may have to open the Preferences dialog (Ludii > Preferences) and click on the button next to "Reset to Defaults".
I will see if I can find a better automatic solution for this issue to include in the next release, but for now this should solve your problem.
Cheers,
Matthew