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