Update channel setting change recognized only after IDE restart

[per1234]

Update channel setting change recognized only after IDE restart

Describe the bug

Arduino IDE now has an auto update capability (#797).

There are two "update channels" the IDE can use when checking for available updates:

• stable - the production releases of the Arduino IDE, to be used for standard sketch development work.
• nightly - the nightly builds of the Arduino IDE, to be used for beta testing the IDE.

The user can set the channel they want via the advanced settings.

🐛 After changing the channel setting, the IDE continues to use the previously selected channel until it is restarted.

To Reproduce

1. Start the IDE.

2. Open the "Command Palette".
   (Ctrl+Shift+P or Command+Shift+P by default)

3. Run the "Preferences: Open Settings (UI)" command.

4. Change the "Arduino › Ide: Update Channel" (arduino.ide.updateChannel) setting to "stable".

5. Select File > Quit from the Arduino IDE menus.

6. Start the IDE from command line.

7. Open the "Command Palette".

8. Run the "Preferences: Open Settings (UI)" command.

9. Change the "Arduino › Ide: Update Channel" setting to "nightly".

10. Open the "Command Palette".

11. Run the "Arduino: Check for Arduino IDE updates" command.
    🐛 The output shows that it is attempting to access the update data for the "stable" channel (failure tracked at The built-in IDE updater does not work with my snapshot build #843):

    Checking for update
    Error: Error: Cannot find channel "stable.yml" update info: HttpError: 404
    
    [...]
    

12. Select File > Quit from the Arduino IDE menus.

13. Start the IDE from command line.
    🙂 The output shows that it is checking the nightly channel data:

    Checking for update
    
    [...]
    
    Found version 2.0.0-rc4-nightly.20220219-nightly-20220219 (url: arduino-ide_nightly-20220219_Windows_64bit.exe)
    Downloading update from arduino-ide_nightly-20220219_Windows_64bit.exe
    
    [...]
    

14. Open the "Command Palette".

15. Run the "Arduino: Check for Arduino IDE updates" command.
    🙂 The output shows that it is checking the nightly channel data:

    Checking for update
    Found version 2.0.0-rc4-nightly.20220219-nightly-20220219 (url: arduino-ide_nightly-20220219_Windows_64bit.exe)
    Downloading update from arduino-ide_nightly-20220219_Windows_64bit.exe
    

Expected behavior

Changes to "Arduino › Ide: Update Channel" take effect immediately.

- OR -

Add note that restart is required to the setting description.

Desktop

• OS: Windows 10
• Version: 2.0.0-rc4-snapshot-101d7b9
  Date: 2022-02-18T16:03:36.097Z
  CLI Version: 0.21.0 [10107d24]

Also reproduced with the latest build from the main branch:

• OS: Windows 10
• Version: 2.0.0-rc4-snapshot.9b1f15d-snapshot-9b1f15d
  Date: 2022-02-17T10:40:50.003Z
  CLI Version: 0.21.0 [10107d24]