public void setLineNumbersShown(boolean val) {
    boolean old = myOptions.ARE_LINE_NUMBERS_SHOWN;
    if (old == val) return;
    myOptions.ARE_LINE_NUMBERS_SHOWN = val;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_ARE_LINE_NUMBERS_SHOWN, old, val);
  }
public void setLineNumbersShown(boolean val)