OpenRA/OpenRA — pull request #5139 by Mailaender (2014-04-18 14:59:47+00:00)
Title: Added dynamic pixel doubling using the mouse wheel

as wished in #5122.