Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix_world_names into lp:widelands

2014-07-14 Thread Teppo Mäenpää
another layer of compatibility code, which I'd rather avoid. Could this be in one of those cases where polishing the English should be done at Widelands-to British/American/whatever translations instead of the Widelands code itself? --

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix_world_names into lp:widelands

2014-07-14 Thread GunChleoc
If it's creating a problem, leave it - it is not that important. I will add translator comments instead, so translators will know that it's a seashell if they're paying attention. -- https://code.launchpad.net/~widelands-dev/widelands/fix_world_names/+merge/226592 Your team Widelands Developers

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix_world_names into lp:widelands

2014-07-14 Thread GunChleoc
The proposal to merge lp:~widelands-dev/widelands/fix_world_names into lp:widelands has been updated. Status: Needs review = Rejected For more details, see: https://code.launchpad.net/~widelands-dev/widelands/fix_world_names/+merge/226592 -- https://code.launchpad.net/~widelands-dev

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix_world_names into lp:widelands

2014-07-12 Thread GunChleoc
seashells, so I did some renaming. -- https://code.launchpad.net/~widelands-dev/widelands/fix_world_names/+merge/226592 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/fix_world_names into lp:widelands. === modified file 'src/map_io/s2map.cc