BasicGraphEditor.java 文件源码

/**
 * 
 */
protected void mouseWheelMoved(MouseWheelEvent e)
{
    if (e.getWheelRotation() < 0)
    {
        graphComponent.zoomIn();
    }
    else
    {
        graphComponent.zoomOut();
    }

    status(mxResources.get("scale") + ": "
            + (int) (100 * graphComponent.getGraph().getView().getScale())
            + "%");
}