private void setModelOption(ScopeOption option, boolean value) {
    var model = scopeModel;
    if (model == null) {
      postponedOptions.put(option, value);
    }
    else {
      model.setOption(option, value);
    }
  }
private void setModelOption(ScopeOption option, boolean value)