Are you sure this is the same problem?
There is also a bug: https://bugs.launchpad.net/widelands/+bug/1344288 - this is not fixed in trunk yet though I have a fix allready.
Are you sure this is the same problem?
There is also a bug: https:/ /bugs.launchpad .net/widelands/ +bug/1344288 - this is not fixed in trunk yet though I have a fix allready.