InteractiveCanvasComponent.java 文件源码

public void mouseWheelMoved(MouseWheelEvent e) {
    if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
        zoom(e.getX(), e.getY(), Math.pow(mouseZoomingFactor,
                                          -e.getUnitsToScroll()));
        repaintDirty();
    }
}