Changed settings in the settings dialog wont save

[SuperNinja-4965]

Describe the problem

I recently tried to change my theme to use the official arduino dark theme and while using the settings dialog i was unable to change the theme to any other theme.

No errors or warnings appear in the console.

To reproduce

• Open Settings.
• Change the theme.
• Click save.
• Theme does not change. (can be seen that the change was not made in the config file as well as the IDE not updating)
  • Worth noting that changing the theme manually in the settings.json DOES work

Expected behavior

The theme of the IDE should be updated.

Arduino IDE version

2.0.0-rc7

Operating system

Linux

Operating system version

Arch Linux

Additional context

I install the IDE using flatpak but i can confirm this issue also occurs when not using flatpak.

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

[SuperNinja-4965]

Just thought I'd update on this bug. I've discovered that it isnt just the theme setting that wont save in the settings dialog. None of the settings will save.

[SuperNinja-4965]

Further update (apologies if this is seen as spam) this issue appears to liked to the new faster loading that was implemented as if you let the ide load for a minute (i have quite a few libraries) the setting dialog and all the settings inside start working again as expected.