widelands-dev team mailing list archive

[GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>]

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.