widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #04840
Re: [Merge] lp:~widelands-dev/widelands/ai_ship_tweaks into lp:widelands
If we had an id (starting from 1 I mean) for each ship we could show it in ship window in header in format like 'Ship (1)' or similar. Perhaps this would be welcomed by users. I can open the topic on forum to get some feedback...
--
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.
References