mousewheel applies zoom proportionally, not linearly