setVerticalScrollOffset(getVerticalBar().getSelection(), false);
int scrollPixel = getVerticalBar().getSelection() - verticalScrollOffset; scrollVertical(scrollPixel, false);
void handleVerticalScroll(Event event) {	setVerticalScrollOffset(getVerticalBar().getSelection(), false);}