Proxy configuration not updated when only port number is changed

[per1234]

Describe the problem

Users may access the Internet via a proxy server. Arduino IDE can be configured for this use case via the "Network" tab of the "Preferences" dialog.

🐛 If only the "Port number" preference is changed, the IDE disregards the change.

To reproduce

1. Select File > Preferences... from the Arduino IDE menus.
2. Click the "Network" tab.
3. Select the "Manual proxy configuration" radio button.
4. Configure proxy as follows:
   • Select the "HTTP" radio button.
   • Set "Host name" to example.com
   • Set "Port number" to 42
   • Set "Username" to foo
   • Set "Password" to bar
5. Click the OK button.
6. Select File > Preferences... from the Arduino IDE menus.
7. Click the "Network" tab.
   🙂 The proxy configuration is as you specified at step (4).
8. Change "Port number" to 123.
9. Click the OK button.
10. Select File > Preferences... from the Arduino IDE menus.
11. Click the "Network" tab.

🐛 The value of the "Port number" preference is 42 as configured at step (4) instead of 123 as reconfigured at step (8).

Expected behavior

Changes to the "Port number" preference take effect.

Arduino IDE version

Original report

2.2.2-nightly-20240119

Last verified with

2.3.4

Operating system

Windows

Operating system version

Windows 11

Additional context

The fault does not occur if other proxy preferences are changed at the same time as the "Port number" preference.

---

Originally reported by @lokomiro

Issue checklist

• I searched for previous reports in the issue tracker
• I verified the problem still occurs when using the latest nightly build
• My report contains all necessary details