if (event.detail == SWT.DRAG && !SWT.getPlatform().equals("win32")) { if (updater != null) return; updater = new Runnable(){ public void run(){ if (isDisposed()) return; setVerticalScrollOffset(getVerticalBar().getSelection(), false); updater = null; } }; getDisplay().timerExec(100, updater); return; }
void handleVerticalScroll(Event event) {	//TEMPORARY CODE			if (event.detail == SWT.DRAG && !SWT.getPlatform().equals("win32")) {			if (updater != null) return;		updater = new Runnable(){			public void run(){				if (isDisposed()) return;				setVerticalScrollOffset(getVerticalBar().getSelection(), false);				updater = null;			}		};			getDisplay().timerExec(100, updater); 		return;	}	setVerticalScrollOffset(getVerticalBar().getSelection(), false);}