if (disabled_icon == null && default_icon instanceof ImageIcon) disabled_icon = new ImageIcon(GrayFilter.createDisabledImage(((ImageIcon) default_icon).getImage()));
  public Icon getDisabledIcon()  {    return disabled_icon;  }