Addressed your concerns regarding the red border. I also fixed a crash. Would 
you have a look at the diff comment, please?

Diff comments:

> 
> === modified file 'src/ui_fsmenu/internet_lobby.cc'
> --- src/ui_fsmenu/internet_lobby.cc   2019-05-05 00:22:27 +0000
> +++ src/ui_fsmenu/internet_lobby.cc   2019-05-09 10:57:53 +0000
> @@ -415,10 +426,22 @@
>       // Save selected servername as default for next time and during that 
> take care that the name is
>       // not empty.
>       std::string servername_ui = edit_servername_.text();
> -     if (servername_ui.empty()) {
> -             /** TRANSLATORS: This is shown for multiplayer games when no 
> host */
> -             /** TRANSLATORS: server to connect to has been specified yet. */
> -             servername_ui = pgettext("server_name", "unnamed");
> +
> +     const std::vector<InternetGame>* games = InternetGaming::ref().games();
> +     if (games != nullptr) {
> +             for (const InternetGame& game : *games) {
> +                     if (servername_ui.empty()) {
> +                             uint32_t i = 1;
> +                             do {
> +                                     /** TRANSLATORS: This is shown for 
> multiplayer games when no host */
> +                                     /** TRANSLATORS: server to connect to 
> has been specified yet. */
> +                                     servername_ui = 
> (boost::format(_("unnamed %u")) % i++).str();

Is this line correctly formatted?

> +                             } while (servername_ui == game.name);
> +                     } else if (game.name == servername_ui) {
> +                             change_servername();
> +                             return;
> +                     }
> +             }
>       }
>  
>       g_options.pull_section("global").set_string("servername", 
> servername_ui);


-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1825932-open-games/+merge/366860
Your team Widelands Developers is requested to review the proposed merge of 
lp:~widelands-dev/widelands/bug-1825932-open-games 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

Reply via email to