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