private void moveVertical(final boolean scrollDirection) {
    if (scrollDirection) {
      MoveFunctions.pan(
          m_zyGraph,
          SCROLL_SUB_FACTOR * m_zyGraph.getSettings().getMouseSettings().getScrollSensitivity(),
          0);
    } else {
      MoveFunctions.pan(
          m_zyGraph,
          -SCROLL_SUB_FACTOR * m_zyGraph.getSettings().getMouseSettings().getScrollSensitivity(),
          0);
    }
  }
Listens to mouse wheel events in edit mode.
java/zylib/src/main/java/com/google/security/zynamics/zylib/yfileswrap/gui/zygraph/editmode/ZyEditModeMouseWheelListener.java