159
160
async reloadConfiguration(): Promise<void> {
162
>
this.onDidChangeUserConfiguration(configurationModel);
163
>
}
164
165
private onDidChangeUserConfiguration(userConfigurationModel: ConfigurationModel): void {
167
>
const change = this.configuration.compareAndUpdateLocalUserConfiguration(userConfigurationModel);
168
>
this.trigger(change, previous, ConfigurationTarget.USER);
169
>
}
170
171
private onDidDefaultConfigurationChange(defaultConfigurationModel: ConfigurationModel, properties: string[]): void {