It's working very nicely. Thank you for the cleanup ❤️

I have noticed this:

• set the zoom level to 14%,
• UI scales, ✅
• Open Preferences: Open Settings (JSON),
• See the "arduino.window.zoomLevel": -4.3, entry,
• The Arduino preferences say:

Adjust the zoom level of the window. The original size is 0 and each increment above (e.g. 1) or below (e.g. -1) represents zooming 20% larger or smaller. You can also enter decimals to adjust the zoom level with a finer granularity.

So technically, the user can set an invalid preference value, or at least be out of sync with the preferences.

I have noticed this:

• set the zoom level to 14%,
• UI scales, ✅
• Open Preferences: Open Settings (JSON),
• See the "arduino.window.zoomLevel": -4.3, entry,
• The Arduino preferences say:

Adjust the zoom level of the window. The original size is 0 and each increment above (e.g. 1) or below (e.g. -1) represents zooming 20% larger or smaller. You can also enter decimals to adjust the zoom level with a finer granularity.

So technically, the user can set an invalid preference value, or at least be out of sync with the preferences.

Thanks for the finding! Hmm, so I guess we should always restrict to nearest valid numbers?

Or is this a case of needing to update what are considered valid settings?

so I guess we should always restrict to nearest valid numbers

I propose leaving it as is if it works reliably and seems to work nicely. Let's adjust the scaling when we switch to the scaling from Code.