鼠标滚轮缩放

The amount of Zoom available using the mouse wheel can be now controlled by the user.

In order to tune the value, it is necessary to change the following entry in the WhiteStar.ini file:

Mouse wheel value per notch=15