cropleyb / pentai

MIT License
15 stars 1 forks source link

Prevent duplicated player names #42

Open cropleyb opened 10 years ago

cropleyb commented 10 years ago

At the moment it is possible to create a Human Player with the same name as an existing AI Player, or vice-versa. This should probably be prevented in the player editor screens. Not sure exactly how the GUI should behave.