Preferences dialog box is not a modal dialog box

[sterretjeToo]

Describe the problem

When opening the preferences dialog box and using the <TAB> key to navigate the fields one can tab past the <OK> button and ends up in the editor window.

Note:
Because using the mouse to move out of the Preference dialog box is not possible, I assume that the Preferences dialog box is supposed to be modal.

To reproduce

1. Open File / Preferences; the default field / button that has the focus is the <OK> button
2. Press <TAB>; focus moves to the editor window.

Expected behavior

Cycle through all fields / buttons; from the last field / button back to the first one. Same for<SHIFT><TAB>, from first field / button back to last one.

Arduino IDE version

arduino-ide_nightly-20240211_Windows_64bit

Operating system

Windows

Operating system version

Win 10 Home

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