unknown-horizons/unknown-horizons — pull request #2004 by ChrisOelmueller (2013-01-13 23:33:01+00:00)
Title: Empty xml attributes

Mostly gets rid of useless or redundant attribute definitions in xml files, taking up space for no gain and complicating our gui code even further for anybody new to it.

The ScrollArea behavior change should also help users in that they now recognize when scrolling is possible and attach this to seeing the slightly shaded background.