Code review comment for lp:~klaus-halfmann/widelands/bug-1395278-wui

This bug was actually already in trunk. I fixed it in 7739.

Since release compiled, I think this is save to go in.

@bunnybot merge.

Fingers crossed :)