JGraphUI.java 文件源码

@Override
public void mouseWheelMoved(MouseWheelEvent e) {
    if (!isMyEvent(e)) {
        return;
    }
    if (getJGraph().getMode() == PAN_MODE) {
        int change = -e.getWheelRotation();
        getJGraph().changeScale(change);
    } else {
        getJGraph().getParent().dispatchEvent(e);
    }
}