layout();
public void setFont(Font f) {	super.setFont(f);	if (topLeft != null && !topLeft.isDisposed()) topLeft.setFont(f);	if (topCenter != null && !topCenter.isDisposed()) topCenter.setFont(f);	if (topRight != null && !topRight.isDisposed()) topRight.setFont(f);	layout();}