Skip to content

Un serialize project search#2857

Merged
osiewicz merged 42 commits intomainfrom
un-serialize-project-search
Aug 25, 2023
Merged

Un serialize project search#2857
osiewicz merged 42 commits intomainfrom
un-serialize-project-search

Conversation

@osiewicz
Copy link
Member

This is the first batch of improvements to current project search. There are few things we can do better still, but I want to get this out in next Preview.
Most of the slowness at this point seems to stem from updating UI too often.

Release Notes:

  • Improved project search by making it report results sooner.

@osiewicz osiewicz force-pushed the un-serialize-project-search branch from 497b8e7 to 9242d30 Compare August 22, 2023 10:19
@osiewicz osiewicz merged commit 2495d65 into main Aug 25, 2023
@osiewicz osiewicz deleted the un-serialize-project-search branch August 25, 2023 23:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants