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. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
