Java Code Examples for java.awt.event.MouseWheelEvent#WHEEL_UNIT_SCROLL

@Override
protected MouseWheelListener createMouseWheelListener() {
	return new BasicScrollPaneUI.MouseWheelHandler() {
		@Override
		public void mouseWheelMoved( MouseWheelEvent e ) {
			// Note: Getting UI value "ScrollPane.smoothScrolling" here to allow
			// applications to turn smooth scrolling on or off at any time
			// (e.g. in application options dialog).
			if( UIManager.getBoolean( "ScrollPane.smoothScrolling" ) &&
				scrollpane.isWheelScrollingEnabled() &&
				e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL &&
				e.getPreciseWheelRotation() != 0 &&
				e.getPreciseWheelRotation() != e.getWheelRotation() )
			{
				mouseWheelMovedSmooth( e );
			} else
				super.mouseWheelMoved( e );
		}
	};
}
 

public static int getIncrementFromAdjustable(Adjustable adj,
                                             MouseWheelEvent e) {
    if (log.isLoggable(PlatformLogger.Level.FINE)) {
        if (adj == null) {
            log.fine("Assertion (adj != null) failed");
        }
    }

    int increment = 0;

    if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
        increment = e.getUnitsToScroll() * adj.getUnitIncrement();
    }
    else if (e.getScrollType() == MouseWheelEvent.WHEEL_BLOCK_SCROLL) {
        increment = adj.getBlockIncrement() * e.getWheelRotation();
    }
    return increment;
}
 

public static int getIncrementFromAdjustable(Adjustable adj,
                                             MouseWheelEvent e) {
    if (log.isLoggable(PlatformLogger.Level.FINE)) {
        if (adj == null) {
            log.fine("Assertion (adj != null) failed");
        }
    }

    int increment = 0;

    if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
        increment = e.getUnitsToScroll() * adj.getUnitIncrement();
    }
    else if (e.getScrollType() == MouseWheelEvent.WHEEL_BLOCK_SCROLL) {
        increment = adj.getBlockIncrement() * e.getWheelRotation();
    }
    return increment;
}
 

public static int getIncrementFromAdjustable(Adjustable adj,
                                             MouseWheelEvent e) {
    if (log.isLoggable(PlatformLogger.Level.FINE)) {
        if (adj == null) {
            log.fine("Assertion (adj != null) failed");
        }
    }

    int increment = 0;

    if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
        increment = e.getUnitsToScroll() * adj.getUnitIncrement();
    }
    else if (e.getScrollType() == MouseWheelEvent.WHEEL_BLOCK_SCROLL) {
        increment = adj.getBlockIncrement() * e.getWheelRotation();
    }
    return increment;
}
 

public static int getIncrementFromAdjustable(Adjustable adj,
                                             MouseWheelEvent e) {
    if (log.isLoggable(PlatformLogger.Level.FINE)) {
        if (adj == null) {
            log.fine("Assertion (adj != null) failed");
        }
    }

    int increment = 0;

    if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
        increment = e.getUnitsToScroll() * adj.getUnitIncrement();
    }
    else if (e.getScrollType() == MouseWheelEvent.WHEEL_BLOCK_SCROLL) {
        increment = adj.getBlockIncrement() * e.getWheelRotation();
    }
    return increment;
}
 

/**
 * When event received will spin the carousel to select the next object.
 * Because the wheel can be spun quicker than the carousel animates it keeps
 * track of the target (so the user may have selected something three
 * components away, althought the animation has not yet finished moving past
 * the first comopnent)
 * 
 * @param mouseWheelEvent
 *            The event object
 */
public void mouseWheelMoved(MouseWheelEvent mouseWheelEvent) {

	if (mouseWheelEvent.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
		int amount = mouseWheelEvent.getWheelRotation();
		if (lastWheeledTo == null) {
			lastWheeledTo = getFrontmost();
		}
		int lastPosition = layout.getComponentIndex(lastWheeledTo);
		int frontMostPosition = layout.getComponentIndex(getComponent(0));
		// Don't over spin
		if (Math.abs(lastPosition - frontMostPosition) > layout
				.getComponentCount() / 4) {
			return;
		}
		if (amount > 0) {
			lastWheeledTo = layout.getPreviousComponent(lastWheeledTo);
		} else {
			lastWheeledTo = layout.getNextComponent(lastWheeledTo);
		}
		bringToFront(lastWheeledTo);
	}
}
 

public static int getIncrementFromAdjustable(Adjustable adj,
                                             MouseWheelEvent e) {
    if (log.isLoggable(PlatformLogger.Level.FINE)) {
        if (adj == null) {
            log.fine("Assertion (adj != null) failed");
        }
    }

    int increment = 0;

    if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
        increment = e.getUnitsToScroll() * adj.getUnitIncrement();
    }
    else if (e.getScrollType() == MouseWheelEvent.WHEEL_BLOCK_SCROLL) {
        increment = adj.getBlockIncrement() * e.getWheelRotation();
    }
    return increment;
}
 

public static int getIncrementFromAdjustable(Adjustable adj,
                                             MouseWheelEvent e) {
    if (log.isLoggable(PlatformLogger.Level.FINE)) {
        if (adj == null) {
            log.fine("Assertion (adj != null) failed");
        }
    }

    int increment = 0;

    if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
        increment = e.getUnitsToScroll() * adj.getUnitIncrement();
    }
    else if (e.getScrollType() == MouseWheelEvent.WHEEL_BLOCK_SCROLL) {
        increment = adj.getBlockIncrement() * e.getWheelRotation();
    }
    return increment;
}
 

@Override
public void mouseWheelMoved(MouseWheelEvent e) {
    JScrollBar scrollBar = mainScrollPane.getVerticalScrollBar();
    if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
        int totalScrollAmount = (int) (e.getPreciseWheelRotation() * e.getScrollAmount() * scrollBar.getUnitIncrement());
        scrollBar.setValue(scrollBar.getValue() + totalScrollAmount);
    }
}
 

private static void scroll(final JScrollBar scroller, final MouseWheelEvent event) {
    if (event.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
        int unitsToScroll = event.getUnitsToScroll();
        int direction = unitsToScroll < 0 ? -1 : 1;
        if (unitsToScroll != 0) {
            int increment = scroller.getUnitIncrement(direction);
            int oldValue = scroller.getValue();
            int newValue = oldValue + increment * unitsToScroll;
            newValue = Math.max(Math.min(newValue, scroller.getMaximum() -
                       scroller.getVisibleAmount()), scroller.getMinimum());
            if (oldValue != newValue) scroller.setValue(newValue);
        }
        event.consume();
    }
}
 

private static void scroll(JScrollBar scrollBar, MouseWheelEvent e) {
    if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
        int unitsToScroll = e.getUnitsToScroll();
        int direction = unitsToScroll < 0 ? -1 : 1;
        if (unitsToScroll != 0) {
            int increment = scrollBar.getUnitIncrement(direction);
            int oldValue = scrollBar.getValue();
            int newValue = oldValue + increment * unitsToScroll;
            newValue = Math.max(Math.min(newValue, scrollBar.getMaximum() -
                    scrollBar.getVisibleAmount()), scrollBar.getMinimum());
            if (oldValue != newValue) scrollBar.setValue(newValue);
        }
    }
}
 

private void dispatchScrollEvent(final int x, final int y,
                                 final int modifiers, final double delta) {
    final long when = System.currentTimeMillis();
    final int scrollType = MouseWheelEvent.WHEEL_UNIT_SCROLL;
    final int scrollAmount = 1;
    int wheelRotation = (int) delta;
    int signum = (int) Math.signum(delta);
    if (signum * delta < 1) {
        wheelRotation = signum;
    }
    // invert the wheelRotation for the peer
    eventNotifier.notifyMouseWheelEvent(when, x, y, modifiers, scrollType,
            scrollAmount, -wheelRotation, -delta, null);
}
 

@Override
public void mouseWheelMoved(MouseWheelEvent event) {
    if (event.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
        int        amt = event.getUnitsToScroll();
        JScrollBar bar = event.isShiftDown() ? mHSB : mVSB;
        bar.setValue(bar.getValue() + amt * bar.getUnitIncrement());
    }
}
 

@Override
public void mouseWheelMoved(final MouseWheelEvent e) {
    switch (e.getScrollType()) {
        case MouseWheelEvent.WHEEL_UNIT_SCROLL:
            JBinaryViewer.this.vBar.setValue(
                    JBinaryViewer.this.vBar.getValue()
                    + e.getUnitsToScroll());
            break;
        case MouseWheelEvent.WHEEL_BLOCK_SCROLL:
            break;
        default:
            break;
    }
}
 

private void dispatchScrollEvent(final int x, final int y,
                                 final int modifiers, final double delta) {
    final long when = System.currentTimeMillis();
    final int scrollType = MouseWheelEvent.WHEEL_UNIT_SCROLL;
    final int scrollAmount = 1;
    int wheelRotation = (int) delta;
    int signum = (int) Math.signum(delta);
    if (signum * delta < 1) {
        wheelRotation = signum;
    }
    // invert the wheelRotation for the peer
    eventNotifier.notifyMouseWheelEvent(when, x, y, modifiers, scrollType,
            scrollAmount, -wheelRotation, -delta, null);
}
 

private static void scroll(JScrollBar scrollBar, MouseWheelEvent e) {
    if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
        int unitsToScroll = e.getUnitsToScroll();
        int direction = unitsToScroll < 0 ? -1 : 1;
        if (unitsToScroll != 0) {
            int increment = scrollBar.getUnitIncrement(direction);
            int oldValue = scrollBar.getValue();
            int newValue = oldValue + increment * unitsToScroll;
            newValue = Math.max(Math.min(newValue, scrollBar.getMaximum() -
                    scrollBar.getVisibleAmount()), scrollBar.getMinimum());
            if (oldValue != newValue) scrollBar.setValue(newValue);
        }
    }
}
 

private static void scroll(JScrollBar scroller, MouseWheelEvent event) {
            if (event.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
                int direction = event.getUnitsToScroll() < 0 ? -1 : 1;
                int increment = scroller.getUnitIncrement(direction);
//                int amount = event.getScrollAmount();
                int amount = 1;
                int oldValue = scroller.getValue();
                int newValue = oldValue + increment * amount * direction;
                if (oldValue != newValue) scroller.setValue(newValue);
                event.consume();
            }
        }
 

private void dispatchScrollEvent(final int x, final int y,
                                 final int modifiers,
                                 final int roundDelta, final double delta) {
    final long when = System.currentTimeMillis();
    final int scrollType = MouseWheelEvent.WHEEL_UNIT_SCROLL;
    final int scrollAmount = 1;
    // invert the wheelRotation for the peer
    eventNotifier.notifyMouseWheelEvent(when, x, y, modifiers, scrollType,
            scrollAmount, -roundDelta, -delta, null);
}
 

private void dispatchScrollEvent(final int x, final int y,
                                 final int modifiers, final double delta) {
    final long when = System.currentTimeMillis();
    final int scrollType = MouseWheelEvent.WHEEL_UNIT_SCROLL;
    final int scrollAmount = 1;
    int wheelRotation = (int) delta;
    int signum = (int) Math.signum(delta);
    if (signum * delta < 1) {
        wheelRotation = signum;
    }
    // invert the wheelRotation for the peer
    eventNotifier.notifyMouseWheelEvent(when, x, y, modifiers, scrollType,
            scrollAmount, -wheelRotation, -delta, null);
}
 

private void pan(MouseWheelEvent e) {
	GraphViewer<V, E> viewer = getGraphViewer(e);

	//
	// Number of 'units' by which to scroll.  This is defined by the OS and is usually
	// something like 'lines of text'.
	//
	int scrollAmount = 1;
	if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) {
		scrollAmount = e.getScrollAmount();
	}

	//
	// The amount the mouse wheel has been rotated.  By default this is usually 1, but 
	// users can change how the OS accelerates mouse scrolling.
	//
	int wheelRotation = -e.getWheelRotation();

	//
	// A magic magnification amount.  This was chosen by testing on a few platforms.
	//
	int arbitraryAcceleration = 10;

	//
	// The scale of the current graph.  We need to change the scroll amount when scaled out
	// so that we don't end up with tiny scrolling when zoomed out.
	//		
	Double scale = GraphViewerUtils.getGraphScale(viewer);
	int unscaledOffset = wheelRotation * scrollAmount * arbitraryAcceleration;
	int offset = (int) (unscaledOffset * (1 / scale));

	Point newPoint = new Point(0, offset);

	if (e.isAltDown()) {
		// control-alt is a horizontal pan
		newPoint.setLocation(offset, 0);
	}

	VisualGraphViewUpdater<V, E> updater = viewer.getViewUpdater();
	updater.moveViewerLocationWithoutAnimation(newPoint);
}