Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Search perf improvements #176098

Merged
merged 10 commits into from
Mar 10, 2023
Merged

Search perf improvements #176098

merged 10 commits into from
Mar 10, 2023

Conversation

andreamah
Copy link
Contributor

@andreamah andreamah commented Mar 3, 2023

Addresses #171436

Includes these improvements:

@andreamah andreamah self-assigned this Mar 3, 2023
@andreamah andreamah dismissed a stale review via aa72d47 March 7, 2023 19:38
@andreamah andreamah changed the title Don't refresh tree if still updating count Search perf improvements Mar 8, 2023
@andreamah andreamah marked this pull request as ready for review March 8, 2023 19:07
@vscodenpa vscodenpa added this to the March 2023 milestone Mar 8, 2023
roblourens
roblourens previously approved these changes Mar 10, 2023
src/vs/workbench/contrib/search/browser/searchView.ts Outdated Show resolved Hide resolved
@andreamah andreamah enabled auto-merge (squash) March 10, 2023 00:49
@andreamah andreamah merged commit fc12c7e into main Mar 10, 2023
@andreamah andreamah deleted the andreamah/issue171436 branch March 10, 2023 01:02
@github-actions github-actions bot locked and limited conversation to collaborators Apr 24, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants