if (isBidi()) { doBidiMouseLocationChange(event.x, event.y, true); } else { doMouseLocationChange(event.x, event.y, true); }
doMouseLocationChange(event.x, event.y, true);
void handleMouseMove(Event event) {	if (mouseDoubleClick == true || (event.stateMask & SWT.BUTTON1) == 0) {		return;	}	event.y -= topMargin;	if (isBidi()) {		doBidiMouseLocationChange(event.x, event.y, true);	}	else {			doMouseLocationChange(event.x, event.y, true);	}	doAutoScroll(event);}