void (boolean show) { boolean old = myOptions.SHOW_INSPECTION_WIDGET; if (old == show) return; myOptions.SHOW_INSPECTION_WIDGET = show; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_SHOW_INSPECTION_WIDGET, old, show); }