public void setShowInspectionWidget(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);
  }
public void setShowInspectionWidget(boolean show)