mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-13 14:26:37 +00:00
ATL-1151: settings panel to reflect actual state
This commit is contained in:
parent
1ab5634789
commit
d45dd6beef
@ -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();
|
||||
}
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user