firePropertyChange("selectedTextColor", oldColor, newColor);
  public void setSelectedTextColor(Color newColor)  {    firePropertyChange("selectedTextColor", caretColor, newColor);    selectedTextColor = newColor;  }