code: public void setEnabledValue(boolean e) {
  		if (enablement) {
  			enabled.setSelected(e);
  		}
  		minSpinner.setEnabled(enabled.isSelected() || !enablement);
  		maxSpinner.setEnabled(enabled.isSelected() || !enablement);
  	}
docs: Indicate if this panel should be enabled
  
  @param e True if this panel option should be enabled