Ctrl+mouse scroll for zoom in/zoom out
Currently yelp does not distinguish mouse scroll and Ctrl+mouse scroll: Ctrl+scroll up acts exactly as scroll up, Ctrl+scroll down acts exactly as scroll down.
In number of programs (to name a few: Firefox, Chromium, Evolution, Geany, devhelp) Ctrl+mouse scroll up causes zoom in (font size increasing), while Ctrl+scroll down causes zoom out (font size decreasing).
It would be nice if yelp also utilizes Ctrl+mouse scroll for zoom in/zoom out operations.
Edited by Van de Bugger