}
  protected void updateLayout(DocumentEvent.ElementChange ec,                              DocumentEvent ev, Shape shape)  {    if (ec != null && shape != null)      preferenceChanged(null, true, true);    Container c = getContainer();    if (c != null)      c.repaint();  }