public void setVirtualSpace(boolean val) {
    boolean oldValue = myOptions.IS_VIRTUAL_SPACE;
    if (oldValue == val) return;

    myOptions.IS_VIRTUAL_SPACE = val;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_IS_VIRTUAL_SPACE, oldValue, val);
  }
public void setVirtualSpace(boolean val)