public final EMouseAction getMouseWheelAction() {
    switch (getGraphLayoutOptions().getWheelAction()) {
      case ZOOM:
        return EMouseAction.ZOOM;
      case MOUSE_WHEEL_ACTION_UNSPECIFIED:
      case UNRECOGNIZED:
      case SCROLL:
        break;
    }
    return EMouseAction.SCROLL;
  }
This abstract class holds all graph related configuration settings.
java/ui/src/main/java/com/google/security/zynamics/bindiff/config/GraphViewSettingsConfigItem.java