enhancement #14: zoom with wheel towards mouse pointer