ERROR: "Unable to write into user settings..." when scaling UI using keyboard shortcuts

[ubidefeo]

Describe the problem

Changing the UI scaling via the Preferences panel works well,
but users who resort to shortcuts to zoom in/out the UI and font sometimes repeat the CMD/CTRL +/- to achieve the desired size.

When performing such shortcuts too rapidly the first action is not yet committed to the preferences file and the second one fails as the file has unsaved changes

To reproduce

• Launch the IDE
• rapidly press CTRL/CMD +/- to scale the interface a few times

see video

IDE2_scale_shortcut_noaudio.mp4

Expected behavior

Theoretically changes should be either queued or buffered before being committed to the preferences file,
Canceling any shortcut action until the file is saved might turn into a frustration moment.
I often hit the combo 3 times while teaching or doing webinars and I do want the 3 degrees of zoom being applied.
If I had to give it time to save it might take me 9 presses and it would look like 6 were ignored for unknown reasons

Arduino IDE version

2.0.0-rc6

Operating system

macOS

Operating system version

12.3

Additional context

No response

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]

I think the underlying issue was fixed here: #856. Then it was also fixed in Theia, and IDE2 already uses it. Also, there was a significant improvement with event debouncing here #1502, and another fix to avoid saving the scaling twice here 8119543.

Is this issue still valid? I have not noticed any issues when scaling the interface from the keyboard. Thank you!

[per1234]

Since there hasn't been any indication that users are still experiencing this fault, I'll close the issue as resolved. If anyone is still experiencing it with the latest version Arduino IDE, feel free to comment here and we'll investigate.