Zooming centered on mouse location with ctrl + mouse wheel is already proposed in this request.