← Back to team overview

widelands-dev team mailing list archive

Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands

 

1 small string nit.

Diff comments:

> === modified file 'src/network/internet_gaming.cc'
> --- src/network/internet_gaming.cc	2019-06-02 09:29:59 +0000
> +++ src/network/internet_gaming.cc	2019-06-04 17:38:35 +0000
> @@ -901,6 +909,15 @@
>  		// beginning
>  		// with a "/" - let's see...
>  
> +		if (msg == "/help") {
> +			format_and_add_chat("", "", true, _("Supported admin commands:"));
> +			format_and_add_chat("", "", true, _("/motd <msg>  sets a permanent greeting message"));

The double white space after the commands will get eaten up by the font renderer anyway, so using single whitespace is better.

> +			format_and_add_chat("", "", true, _("/announce <msg>  send a one time system message"));
> +			format_and_add_chat("", "", true, _("/warn <user> <msg>  send a private system message to the given user"));
> +			format_and_add_chat("", "", true, _("/kick <user|game>  removes the given user or game from the metaserver"));
> +			return;
> +		}
> +
>  		// Split up in "cmd" "arg"
>  		std::string cmd, arg;
>  		std::string temp = msg.substr(1);  // cut off '/'


-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1826744-lobby-commands/+merge/368285
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands.


References