First of all, I would like to congratulate all the development team for the amazing job you all had been doing with IDE 2.0. I am very pleased with it.
I would like to report an annoying behavior on search on all sketch that start searching while I am typing. Some times, takes a long time to search ends due to the reduced number of characters (search for 1 character).
I would like to proposed to:
wait for ENTER to start the searching.
when start typing, the old search result was removed.
Takes for all your support
Best regards
Hi @CamargoF . Thanks for your report. The Arduino IDE developers are tracking this here:
opened 12:29PM - 10 Nov 22 UTC
topic: code
type: imperfection
### Describe the problem
When using the "global" search in a large project, t… he IDE can crawl to a halt as the search term is typed in. In some situations I have had the IDE turn unresponsive with just a single letter typed in - preventing me from adding more elements to the search term.
I believe that this is due to it trying hard to find all instances of the search term AS it is being typed in.
### To reproduce
1. Open a large sketch.
1. Open the "**SEARCH**" view.
1. Type a letter in the "**Search**" field.
### Expected behavior
Triggering the search only after the user clicks a button or presses <kbd>Enter</kbd> would prevent the problem.
### Arduino IDE version
3.0.1
### Operating system
Windows
### Operating system version
10
### Additional context
#### Additional reports
- https://forum.arduino.cc/t/search-all-sketch-dont-wait-for-enter/1093641
#### Keywords
- "find"
- "hot search"
- "incremental find"
- "real-time suggestions"
- "live search"
- "active search"
- "real-time"
- "realtime"
- "real time"
### Issue checklist
- [X] I searched for previous requests in [the issue tracker](https://github.com/arduino/arduino-ide/issues?q=)
- [X] I verified the feature was still missing when using the latest [nightly build](https://github.com/arduino/arduino-ide#nightly-builds)
- [X] My request contains all necessary details
If you have a GitHub