Added dynamic pixel doubling using the mouse wheel

as wished in #5122.