OpenRA/OpenRA — pull request #3486 by pchote (2013-06-28 11:13:43+00:00)
Title: Misc UI polish.

Fixes #3374 and some UI polish nits.