public void setShowIntentionBulb(boolean show) {
    boolean old = myOptions.SHOW_INTENTION_BULB;
    if (old == show) return;
    myOptions.SHOW_INTENTION_BULB = show;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_SHOW_INTENTION_BULB, old, show);
  }
public void setShowIntentionBulb(boolean show)