961
private _userConfiguration: ConfigurationModel | null = null;
962
get userConfiguration(): ConfigurationModel {
964
>
if (this._remoteUserConfiguration.isEmpty()) {
965
this._userConfiguration = this._localUserConfiguration;
967
const merged = this._localUserConfiguration.merge(this._remoteUserConfiguration);
968
this._userConfiguration = new ConfigurationModel(merged.contents, merged.keys, merged.overrides, undefined, this.logService);
969
}
971
>
return this._userConfiguration;
972
>
}
973
974
get localUserConfiguration(): ConfigurationModel {