OpenRA/OpenRA — pull request #3933 by pchote (2013-10-14 10:51:33+00:00)
Title: Don't zoom UI lines when pixel doubling.

These changes keep the line width of the selection boxes / selection bars / range circles / target constant when zooming, which makes pixel doubling much more useable.