mapnik/mapnik — pull request #1239 by simonsonc (2012-06-01 02:01:51+00:00)
Title: viewer: add mouse wheel zooming

This change makes the viewer zoom in and out when using the scroll wheel.
The zoom tracks the position of the mouse pointer when zooming in so that
the map will be centered under the mouse after a zoom.