I did some testing, and I get the same thing. The English player names are what's stored in the map file, and the localized ones are those you get when you add one. I think that we should show them localized on screen, but save them in English to the map file.
The max number of players is only needed for fetching the player color really, so I thought it would make the most sense there. Anywhere else (apart from not enough space on the user interface), it could be up to 31 players. There is one more thing that I need to do - increase a packet number when there are more than 8 players, so people won't get unexplained crashes when loading a map with > 8 players in an old Widelands version. -- https://code.launchpad.net/~widelands-dev/widelands/max_players/+merge/309083 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/max_players into lp:widelands. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
