firePropertyChange("font", font, f);
if (font == newFont) return;  Font oldFont = font; font = newFont;
  public void setFont(Font f)  {		firePropertyChange("font", font, f);		if (peer != null)			peer.setFont(f);    invalidate();		font = f;	}