Colin Fletcher daf4dd874a Add vertical zoom via scroll wheel modifier key to editor summary. ...

If the ScrollZoomVerticalModifier key is used with the scroll wheel over
the editor summary pane, zoom the editor vertically.

2013-06-21 21:28:13 +01:00

27 KiB

Raw Blame History

View Raw