[Widelands-dev] [Merge] lp:~widelands-dev/widelands/reveal_hide_animations into lp:widelands

Continuous integration builds have changed state: Travis build 2703. State: failed. Details: https://travis-ci.org/widelands/widelands/builds/285913843. Appveyor build 2518. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_reveal_hid

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website

Forgot to answer one question: >> E.g. "main page" will find all wiki articles with this name or the content >> contains 'main page' > Sounds like a wiki article called "main page foo bar" will not be found - id > this correct? Yes, this should be correct. But i have to admit that there is no

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website

After todays spam flood i think about how to prevent having spam in the index. This is maybe a task for a follow up branch? -- https://code.launchpad.net/~widelands-dev/widelands-website/searching_with_haystack_whoosh/+merge/331605 Your team Widelands Developers is subscribed to branch lp:widelan

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands

This is good approach to get more translators, i think. Translation stats: I guess the count of 'total' is ever the same, because English is the base language. Is it needed to store this value for each language? The text for RTL languages are messed up somehow. I guess this will be fixed if th