super.redrawWidget (x, y, width, height, all);
super.redrawWidget (x, y, width, height, redrawAll, allChildren);
void redrawWidget (int x, int y, int width, int height, boolean all) {	boolean isFocus = caret != null && caret.isFocusCaret ();	if (isFocus) caret.killFocus ();	super.redrawWidget (x, y, width, height, all);	if (isFocus) caret.setFocus ();}