widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #07155
[Merge] lp:~widelands-dev/widelands/bug-1395322-tool3 into lp:widelands
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 Height, 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.
References