OK, added the hint and replaced spinners with dropdowns in the Resize Tool options and the New Map and Random Map menus. The large code blocks for setting the initial values are now shorter and more intuitive, I don´t think we would gain much by making a new class for it. -- https://code.launchpad.net/~widelands-dev/widelands/editor-resize-map/+merge/365638 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/editor-resize-map.
_______________________________________________ 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
