07-06-2022, 06:36 AM
Hi Quentin,
Unfortunately I have not been able to replicate the problem on my own laptop, tested on both Windows and Linux.
It could be an issue specific to your operating system, java version, or some other factor.
None of the game names used in Ludii should contain any special characters, so you shouldn't need to use any of the special keys when searching for a game.
Cheers,
Matthew
Unfortunately I have not been able to replicate the problem on my own laptop, tested on both Windows and Linux.
It could be an issue specific to your operating system, java version, or some other factor.
None of the game names used in Ludii should contain any special characters, so you shouldn't need to use any of the special keys when searching for a game.
Cheers,
Matthew