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) {	setVerticalScrollOffset(getVerticalBar().getSelection(), false);}