if (event.getPropertyName().equals("editable")) { if (textComponent.isEditable()) textComponent.setBackground(background); else textComponent.setBackground(inactiveBackground); }
  protected void propertyChange(PropertyChangeEvent event)  {    // Does nothing by default.  }