[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands

2019-05-25 Thread noreply
The proposal to merge 
lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into 
lp:widelands has been updated.

Status: Needs review => Merged

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start/+merge/367314
-- 
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands

2019-05-25 Thread Toni Förster
Since the parent branch has been merged, this can go in as well.

@bunnybot merge
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start/+merge/367314
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands

2019-05-23 Thread bunnybot
Continuous integration builds have changed state:

Travis build 5034. State: passed. Details: 
https://travis-ci.org/widelands/widelands/builds/536418869.
Appveyor build 4814. State: failed. Details: 
https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_1797702_spaces_in_names_clean_start-4814.
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start/+merge/367314
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands

2019-05-14 Thread Toni Förster
Solved :)
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start/+merge/367314
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands

2019-05-13 Thread GunChleoc
There is some code duplication that I'd like to see solved.

Diff comments:

> 
> === modified file 'src/ui_fsmenu/netsetup_lan.cc'
> --- src/ui_fsmenu/netsetup_lan.cc 2019-05-11 18:50:30 +
> +++ src/ui_fsmenu/netsetup_lan.cc 2019-05-11 23:08:03 +
> @@ -247,6 +248,24 @@
>  }
>  
>  void FullscreenMenuNetSetupLAN::change_playername() {
> + playername.set_warning(false);
> + playername.set_tooltip("");
> + hostgame.set_enabled(true);
> +
> + if (playername.text().find_first_not_of("abcdefghijklmnopqrstuvwxyz"
> + "ABCDEFGHIJKLMNOPQRSTUVWXYZ1234567890@.+-_") <= 
> playername.text().size()

We have this comparison 3 times in the code, so we decide 3 times what a player 
name should look like. This is not robust to changes - best pull out a common 
function.

> + || playername.text().empty()) {
> + playername.set_warning(true);
> + playername.set_tooltip(_("Enter a valid nickname. This 
> value may contain only "
> + 
>   "English letters, numbers, and @ . + - _ 
> characters."));
> + joingame.set_enabled(false);
> + hostgame.set_enabled(false);
> + return;
> + }
> + if (!hostname.text().empty()) {
> + joingame.set_enabled(true);
> + }
> +
>   g_options.pull_section("global").set_string("nickname", 
> playername.text());
>  }
>  


-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start/+merge/367314
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands

2019-05-12 Thread bunnybot
Continuous integration builds have changed state:

Travis build 4948. State: passed. Details: 
https://travis-ci.org/widelands/widelands/builds/531272166.
Appveyor build 4729. State: success. Details: 
https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_1797702_spaces_in_names_clean_start-4729.
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start/+merge/367314
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands

2019-05-11 Thread Toni Förster
Review: Approve

This is the same as this one:

https://code.launchpad.net/~widelands-dev/widelands/bug-1797702-spaces-in-names/+merge/367123

The old one got approved but was merged too early. This is the third patch that 
needs to go in when the others have been merged
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start/+merge/367314
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands

2019-05-11 Thread Toni Förster
The proposal to merge 
lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into 
lp:widelands has been updated.

Status: Approved => Needs review

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start/+merge/367314
-- 
Your team Widelands Developers is requested to review the proposed merge of 
lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into 
lp:widelands.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands

2019-05-11 Thread Toni Förster
The proposal to merge 
lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into 
lp:widelands has been updated.

Status: Work in progress => Approved

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start/+merge/367314
-- 
Your team Widelands Developers is requested to review the proposed merge of 
lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into 
lp:widelands.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands

2019-05-11 Thread Toni Förster
The proposal to merge 
lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into 
lp:widelands has been updated.

Status: Needs review => Work in progress

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start/+merge/367314
-- 
Your team Widelands Developers is requested to review the proposed merge of 
lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into 
lp:widelands.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands

2019-05-11 Thread Toni Förster
The proposal to merge 
lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into 
lp:widelands has been updated.

Status: Work in progress => Superseded

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start/+merge/367313
-- 
Your team Widelands Developers is requested to review the proposed merge of 
lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into 
lp:widelands.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp