Couldn't confirm this for r7712 under linux. The things shown in screenshot and the options menu works fine. Also textboxes in campaigns.
> I also noticed that Widelands needs some seconds to display the map information when I select a map for the first time
I couldn't confirm "some seconds" but sometimes the information isn't shown immediately. You meant the menu to start a new game?
I am wondering about your localization. Some of the strings (like: "Kundschafter") isn't localized to german here.
Couldn't confirm this for r7712 under linux. The things shown in screenshot and the options menu works fine. Also textboxes in campaigns.
> I also noticed that Widelands needs some seconds to display the map information when I select a map for the first time
I couldn't confirm "some seconds" but sometimes the information isn't shown immediately. You meant the menu to start a new game?
I am wondering about your localization. Some of the strings (like: "Kundschafter") isn't localized to german here.