The proposal to merge lp:~widelands-dev/widelands/options_window into lp:widelands has been updated.
Description changed to: The Options window now has a tabbed layout. I added textual tabs to TabPanel and did a couple of fixes there as well - the tab brightening on mouseover was never executed, and tabs now also play click on mouseclick. Exposed rolling autosave option to the UI. We are discussing some changes to the options themselves in the forum, e.g. some rephrasing and tooltips, but those can always be added later. options.h/cc is probably best viewed with an offline diff tool. For more details, see: https://code.launchpad.net/~widelands-dev/widelands/options_window/+merge/280355 -- Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/options_window 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
