From d45dd6beefa09e23082d7a9787dbfa37108884c3 Mon Sep 17 00:00:00 2001
From: Francesco Stasi <f.stasi@me.com>
Date: Mon, 29 Mar 2021 16:08:18 +0200
Subject: [PATCH] ATL-1151: settings panel to reflect actual state

---
 arduino-ide-extension/src/browser/settings.tsx | 5 +++++
 1 file changed, 5 insertions(+)

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<Promise<Settings>> {
 
     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();
     }