Add typing support to steppers

[davegarthsimpson]

Motivation

To allow users to change font size and app scaling with the keyboard.

Change description

Use a custom controlled input component for the desired functionality.

Reviewer checklist

• PR addresses a single concern.
• The PR has no duplicates (please search among the Pull Requests before creating one)
• PR title and description are properly filled.
• Docs have been added / updated (for bug fixes / features)

[kittaakos]

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

[kittaakos]

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.

[davegarthsimpson]

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?

[kittaakos]

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.