public void setFoldingOutlineShownOnlyOnHover(boolean val) {
    boolean old = myOptions.IS_FOLDING_OUTLINE_SHOWN_ONLY_ON_HOVER;
    if (old == val) return;
    myOptions.IS_FOLDING_OUTLINE_SHOWN_ONLY_ON_HOVER = val;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_IS_FOLDING_OUTLINE_SHOWN_ONLY_ON_HOVER, old, val);
  }
public void setFoldingOutlineShownOnlyOnHover(boolean val)