"Optimize for Debugging" state indicator doesn't change from disabled

[per1234]

Describe the problem

The "Optimize for Debugging" item in the Arduino IDE's "Sketch" menu toggles the state of the arduino.compile.optimizeForDebug setting. The current state of the setting is indicated by the presence or absence of a ✓ at the left side of the menu item:

🐛 If the setting was disabled (the default state) when the Arduino IDE window was opened, the ✓ indicator will not appear when the setting is enabled.

To reproduce

Set up

1. Open the Arduino IDE's "Sketch" menu.
2. If there is a ✓ at the left side of the "Optimize for Debugging" menu item, select the menu item to disable it and open a new window.

Steps

1. Select Sketch > Optimize for Debugging from the Arduino IDE menus.
2. Open the Arduino IDE's "Sketch" menu.

🐛 There is no ✓ indicator next to the "Optimize for Debugging" menu item, even though the setting is enabled:

Expected behavior

State of the arduino.compile.optimizeForDebug setting is always indicated in the "Sketch" menu.

Arduino IDE version

2.0.0-rc8-snapshot-5ff9ce0

Operating system

Windows

Operating system version

10

Additional context

I bisected the introduction of the issue to 8ad10b5 (it does not occur when using the build for fe31d15)

---

I verified that the Sketch > Optimize for Debugging menu item is changing the arduino.compile.optimizeForDebug setting even when the indicator is not working.

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

[kittaakos]

Possible this one: eclipse-theia/theia#11221