if (redraw) { if (--drawCount == 0) ;  } else { if (drawCount++ == 0) ;  }
super.setRedraw(redraw);
public void setRedraw (boolean redraw) {	checkWidget();	if ((style & SWT.SINGLE) != 0) return;	if (redraw) {		if (--drawCount == 0) ; /* AW OS.XmTextEnableRedisplay(handle); */	} else {		if (drawCount++ == 0) ; /* AW OS.XmTextDisableRedisplay(handle); */	}}