diff --git a/arduino-ide-extension/src/browser/settings.tsx b/arduino-ide-extension/src/browser/settings.tsx index 8650a713..f1bcc7bc 100644 --- a/arduino-ide-extension/src/browser/settings.tsx +++ b/arduino-ide-extension/src/browser/settings.tsx @@ -777,6 +777,11 @@ export class SettingsDialog extends AbstractDialog> { protected onActivateRequest(msg: Message): void { super.onActivateRequest(msg); + + // calling settingsService.reset() in order to reload the settings from the preferenceService + // and update the UI including changes triggerd from the command palette + this.settingsService.reset(); + this.widget.activate(); }