fix zoom-in/zoom-out using mouse wheel

2018-12-24, Andrey Skvortsov