void mouseWheel(long time, int rotation, int modifiers) {
		if (!viewer.getAwtComponent().hasFocus())
			return; // XIE
		hoverOff();
		timeCurrent = time;
		// Logger.debug("mouseWheel time:" + time + " rotation:" + rotation + " modifiers:" + modifiers);
		if (rotation == 0)
			return;
		if ((modifiers & BUTTON_MODIFIER_MASK) == 0) {
			if (viewer.getNavigationMode()) { // XIE
				viewer.zoomBy(rotation > 0 ? 5 : -5);
			}
			else {
				float zoomLevel = viewer.getZoomPercentSetting() / 100f;
				if (rotation > 0) {
					while (--rotation >= 0)
						zoomLevel *= wheelClickFractionUp;
				}
				else {
					while (++rotation <= 0)
						zoomLevel *= wheelClickFractionDown;
				}
				viewer.zoomToPercent(zoomLevel * 100 + 0.5f);
			}
		}
	}