widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #11977
Re: [Merge] lp:~widelands-dev/widelands/ctrl-priorities into lp:widelands
I think this is a great feature :)
By all means, edit the Radiogroup to your needs. It's not used in many places, so we can test the changes easily.
You should also change the tooltips to make the player aware of the feature ;)
--
https://code.launchpad.net/~widelands-dev/widelands/ctrl-priorities/+merge/335276
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/ctrl-priorities into lp:widelands.
References