12-14-2020, 08:22 AM
Hi Quentin,
Currently we are changing too many things in Ludii for us to ensure that preferences can be transferred between different versions without issue.
However, you are welcome to try this yourself.
To update preferences to a newer version. Simple open the ludii_preferences.json file, find the entry for "VersionNumber", and change this to the new version number.
Please note. Currently there is an extra ".1" at the end of the version number in the preferences, but this will be removed in future release versions.
Cheers,
Matthew
Currently we are changing too many things in Ludii for us to ensure that preferences can be transferred between different versions without issue.
However, you are welcome to try this yourself.
To update preferences to a newer version. Simple open the ludii_preferences.json file, find the entry for "VersionNumber", and change this to the new version number.
Please note. Currently there is an extra ".1" at the end of the version number in the preferences, but this will be removed in future release versions.
Cheers,
Matthew