public boolean setStickyLinesShown(boolean value) {
    boolean old = myOptions.SHOW_STICKY_LINES;
    if (old == value) return false;
    myOptions.SHOW_STICKY_LINES = value;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_SHOW_STICKY_LINES, old, value);
    return true;
  }
public boolean setStickyLinesShown(boolean value)