Increase the search debounce from 100ms to 500ms #7034
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
References
Solves #7007
User-facing changes
The search will not start up until 500ms after the last character was typed, which was previously 100ms. This follows the discussion in #7007 and is motivated by the slowness of search (and interface slowness) when lots of characters are matched. This value could be decreased to more balanced 250ms in the future once we have a way to speed up rendering of CodeMirror editors.