boolean (@NotNull MouseWheelEvent event) { // event should not be consumed already if (event.isConsumed()) return false; // any rotation expected (forward or backward) boolean ignore = event.getWheelRotation() == 0; if (ignore && (ScrollSettings.isPixelPerfectEnabled() || ScrollSettings.isHighPrecisionEnabled())) { double rotation = event.getPreciseWheelRotation(); ignore = rotation == 0.0D || !Double.isFinite(rotation); } return !ignore && 0 == (SCROLL_MODIFIERS & event.getModifiers()); }