Skip to content

Port 58785 to dev17.1#58853

Closed
CyrusNajmabadi wants to merge 1 commit into
dotnet:release/dev17.1from
CyrusNajmabadi:portProgression
Closed

Port 58785 to dev17.1#58853
CyrusNajmabadi wants to merge 1 commit into
dotnet:release/dev17.1from
CyrusNajmabadi:portProgression

Conversation

@CyrusNajmabadi
Copy link
Copy Markdown
Contributor

@CyrusNajmabadi CyrusNajmabadi commented Jan 13, 2022

Ports #58785 to 17.1 release.

Partial fix for:

AB#1431669

First phase searches normal documents. Second phase searches generated docs. This allows progression search to still show the full set of matches, while not forcing the full results to come once the generated results are computed.

This is a partial fix as we still need to update the tests here. Specifically, the total time to do the full search has gotten longer (As we are generating and searching generated docs). However, we should be measuring time to get the initial set of docs as that will still be as fast as nav-to is with the normal indices and caches.

@CyrusNajmabadi CyrusNajmabadi requested a review from a team as a code owner January 13, 2022 23:10
@ghost ghost added the Area-IDE label Jan 13, 2022
@CyrusNajmabadi CyrusNajmabadi changed the title Port 58785 to dev17.1 Port https://github.com/dotnet/roslyn/pull/58785 to dev17.1 Jan 13, 2022
@CyrusNajmabadi CyrusNajmabadi changed the title Port https://github.com/dotnet/roslyn/pull/58785 to dev17.1 Port 58785 to dev17.1 Jan 13, 2022
@CyrusNajmabadi
Copy link
Copy Markdown
Contributor Author

@jinujoseph for QB

@CyrusNajmabadi
Copy link
Copy Markdown
Contributor Author

Closing out. We are not taking this for 17.1

@CyrusNajmabadi CyrusNajmabadi deleted the portProgression branch January 20, 2022 20:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants