@Override
	public void mouseWheelMoved(double preciseWheelRotation, boolean horizontal) {

		Layout firstLayout = model.getLayout(BigInteger.ZERO);
		if (firstLayout == null) {
			return;	// nothing to scroll
		}

		int scrollUnit = firstLayout.getScrollableUnitIncrement(0, 1);
		int scrollAmount = (int) (preciseWheelRotation * scrollUnit * MOUSEWHEEL_LINES_TO_SCROLL);

		if (hoverHandler.isHoverShowing()) {
			hoverHandler.scroll(scrollAmount);
		}
		else {
			hoverHandler.stopHover();

			if (horizontal && horizontalScrollingEnabled) {
				scrollViewHorizontally(scrollAmount);
			}
			else {
				scrollView(scrollAmount);
			}
		}
	}
Notifies all listeners that the selection changed.
Ghidra/Framework/Docking/src/main/java/docking/widgets/fieldpanel/FieldPanel.java