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