public boolean setBreadcrumbsAbove(boolean value) {
    boolean old = myOptions.SHOW_BREADCRUMBS_ABOVE;
    if (old == value) return false;
    myOptions.SHOW_BREADCRUMBS_ABOVE = value;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_SHOW_BREADCRUMBS_ABOVE, old, value);
    return true;
  }
public boolean setBreadcrumbsAbove(boolean value)