DefaultMapController.java 文件源码

@Override
public void mouseWheelMoved(MouseWheelEvent e) {
    if (wheelZoomEnabled) {
        int rotation = JMapViewer.zoomReverseWheel ? -e.getWheelRotation() : e.getWheelRotation();
        map.setZoom(map.getZoom() - rotation, e.getPoint());
    }
}