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

2017-10-17 Thread kaputtnik
Tested on alpha. Works fine there :-) -- https://code.launchpad.net/~widelands-dev/widelands-website/settings_unicode/+merge/332381 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands-website/settings_unicode into lp:widelands-website.

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

2017-10-17 Thread Notabilis
So much for: "[Prequisite branches] changes will not be shown in the diff." The changes to NetHost, NetClient and the new interface classes are also at: https://code.launchpad.net/~widelands-dev/widelands/nethost-split/+merge/332385 Maybe they will disappear from the diff here after the other bran

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

2017-10-17 Thread Notabilis
Notabilis has proposed merging lp:~widelands-dev/widelands/net-relay into lp:widelands with lp:~widelands-dev/widelands/nethost-split as a prerequisite. Commit message: When running an Internet game, do not use a local server but relay all traffic over the metaserver. Avoids problems with firewa

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

2017-10-17 Thread Notabilis
The proposal to merge lp:~widelands-dev/widelands/net-relay into lp:widelands has been updated. Status: Needs review => Superseded For more details, see: https://code.launchpad.net/~widelands-dev/widelands/net-relay/+merge/327491 -- Your team Widelands Developers is requested to review the

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

2017-10-17 Thread Notabilis
Notabilis has proposed merging lp:~widelands-dev/widelands/nethost-split into lp:widelands. Commit message: Extracting an interface class out of the NetHost/NetClient. Requested reviews: Widelands Developers (widelands-dev) For more details, see: https://code.launchpad.net/~widelands-dev/wide

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

2017-10-17 Thread kaputtnik
kaputtnik has proposed merging lp:~widelands-dev/widelands-website/settings_unicode into lp:widelands-website. Requested reviews: Widelands Developers (widelands-dev) For more details, see: https://code.launchpad.net/~widelands-dev/widelands-website/settings_unicode/+merge/332381 Let python r

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1687100-reveal_fields into lp:widelands

2017-10-17 Thread SirVer
I starting looking through the code and there is a lot to digest here. I have a few questions: - Why do we require the player command? It seems that we only want to mess with the normal rules of vision through scripting which has to run in parallel on each machine anyways, i.e. should not requi

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

2017-10-17 Thread GunChleoc
Sorry I forgot to test the help. I agree with your comments. -- https://code.launchpad.net/~widelands-dev/widelands-website/searching_with_haystack_whoosh/+merge/331605 Your team Widelands Developers is subscribed to branch lp:widelands-website. ___ Mai

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

2017-10-17 Thread GunChleoc
Sorry, I didn't see that it was already merged. -- https://code.launchpad.net/~widelands-dev/widelands-website/custom_user_admin_page/+merge/331613 Your team Widelands Developers is subscribed to branch lp:widelands-website. ___ Mailing list: https://la