Sweet, thank you! Looking forward to the next release!
edit:
Since Ludii 1.3.7 came out a few days ago, I had a look back at this, and it looks fixed to me.
edit:
Since Ludii 1.3.7 came out a few days ago, I had a look back at this, and it looks fixed to me.