if (autoScrollDirection == SWT.DOWN) { doSelectionLineDown(); display.timerExec(TIMER_INTERVAL, this); }
setOrientation(SWT.RIGHT_TO_LEFT);
			public void run() {				if (autoScrollDirection == SWT.DOWN) {					doSelectionLineDown();					display.timerExec(TIMER_INTERVAL, this);				}			}