About the last bullet in the list of changes above: Yes, the preference stays in synch now -- I forgot to fix that line in my comment. It takes me about one hour to compile widelands, so I wrote the above text while waiting for miracles to happen.. SirVer, please re-review this branch, and merge if you find it OK. -- https://code.launchpad.net/~widelands-dev/widelands/fix-bug-1208130/+merge/179293 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/fix-bug-1208130.
_______________________________________________ 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
