UMLDiagramPanel.java 文件源码

@Override
public void mouseWheelMoved(MouseWheelEvent e) {
  if (e.isControlDown()) {
    ZoomUtility.changeZoom(e.getPreciseWheelRotation());
    //TODO position according mouse location
    JViewport viewPort = (JViewport) SwingUtilities
      .getAncestorOfClass(JViewport.class, this);
    if (viewPort != null) {
      Rectangle view = viewPort.getViewRect();
      view.x = ZoomUtility.get(e.getX());
      view.y = ZoomUtility.get(e.getY());
      this.scrollRectToVisible(view);
    }
  } else if (getParent() != null) {
    getParent().dispatchEvent(e);
  }
  repaint();
}