Update preference markers on profile change (#214353)

fix: update preference markers on profile change

Co-authored-by: Loïc Mangeonjean <loic@coderpad.io>
This commit is contained in:
Loïc Mangeonjean 2024-06-17 10:39:38 +02:00 committed by GitHub
parent 85e9b0786c
commit ed4de0582a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -500,6 +500,7 @@ class UnsupportedSettingsRenderer extends Disposable implements languages.CodeAc
this._register(this.editor.getModel()!.onDidChangeContent(() => this.delayedRender()));
this._register(Event.filter(this.configurationService.onDidChangeConfiguration, e => e.source === ConfigurationTarget.DEFAULT)(() => this.delayedRender()));
this._register(languageFeaturesService.codeActionProvider.register({ pattern: settingsEditorModel.uri.path }, this));
this._register(userDataProfileService.onDidChangeCurrentProfile(() => this.delayedRender()));
}
private delayedRender(): void {