Both of these problems are happening in trunk already, so this needs a bug report for trunk, not for this branch.
This bug doesn't implement the size change, it only relayouts the contents of the Options panel and adjust some bits of the toolkit to make this happen. -- https://code.launchpad.net/~widelands-dev/widelands/fsmenu_fullscreen_4_options/+merge/312966 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/fsmenu_fullscreen_4_options. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
