if (autoScrollDirection == SWT.DOWN) { doSelectionLineDown();
if (autoScrollDirection == ST.COLUMN_PREVIOUS) { doVisualPrevious(); setMouseWordSelectionAnchor(); doMouseSelection();
			public void run() {				if (autoScrollDirection == SWT.DOWN) {					doSelectionLineDown();					display.timerExec(TIMER_INTERVAL, this);				}			}