public void mouseWheelMoved(MouseWheelEvent me) {
			int notches=me.getWheelRotation();
			int vc=vscrollbar.getValue();
			final int ADJUST=4;
			// Down 
			if (notches>0)	{
				vc=vc+ADJUST;
				vscrollbar.setValue(vc);
			}
			// Up
			else if (notches<0)	{
				if (vc>ADJUST) vc=vc-ADJUST;
				vscrollbar.setValue(vc);
			}
			else return;
			// Record the user has done this
			// Record the time that this occurred
			theApp.setLastUserScroll(System.currentTimeMillis()/1000);
			// Turn off auto scroll for now
			theApp.setAutoScroll(false);
		}