ctrl+wheel: zoom font

before, ctrl+wheel was "scroll a page". This got lost with this commit.
However, pretty much all applications (web browswers, qt creator) zoom
font with ctrl modifier.