boolean (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; }