if (autoScrollDirection == SWT.UP) { doSelectionLineUp(); display.timerExec(TIMER_INTERVAL, this); }
setOrientation(SWT.LEFT_TO_RIGHT);
			public void run() {				if (autoScrollDirection == SWT.UP) {					doSelectionLineUp();					display.timerExec(TIMER_INTERVAL, this);				}			}