I think numbered ships would definitely be welcome. We have 2 open bugs for ship names:
https://bugs.launchpad.net/widelands/+bug/963842 https://bugs.launchpad.net/widelands/+bug/1358880 I will have to look into the map object serial number thing - it's already good news that this happens for all map objects and not just for ships. This means that we can just fix it in the MapObject packet. BTW you can get rid of the merge conflict if you run utils/fix_lua_tabs.py -- https://code.launchpad.net/~widelands-dev/widelands/ai_ship_tweaks/+merge/280192 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/ai_ship_tweaks 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
