public void setShowIntentionPreview(boolean show) {
    boolean old = myOptions.SHOW_INTENTION_PREVIEW;
    if (old == show) return;
    myOptions.SHOW_INTENTION_PREVIEW = show;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_SHOW_INTENTION_PREVIEW, old, show);
  }
public void setShowIntentionPreview(boolean show)