The proposal to merge lp:~widelands-dev/widelands/bug-1395322-tool3 into lp:widelands has been updated.
Commit Message changed to: Added CTRL as selection key for the 2nd alternative tool and updated help text. Redesigned the Heigh, Noise and Resources tools to use proper SpinBoxes and Boxes. For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1395322-tool3/+merge/290829 -- Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1395322-tool3. _______________________________________________ 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
