Capital letters doesnt work in dev board search and its acting weird. #2753
Description
Describe the problem
You cant write Capital letters in searchbox, and if I hit the option that I want the searchbox content gets deleted,the option thanks god applies.
To reproduce
You cant write Capital letters in searchbox
Expected behavior
You can write Capital letters in searchbox,and the query stays until you close it or you delete it and you can choose multiple times from the list of found results
Arduino IDE version
2.3.6
Operating system
Windows
Operating system version
11
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