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

Add live search to searches [WIP] #607

Closed
wants to merge 2 commits into from

Conversation

Amejonah1200
Copy link

@Amejonah1200 Amejonah1200 commented Sep 25, 2022

recaf
TODO:

  • Use Virtualized Context
  • Implement for other searches
  • Make Result also contain where specifically the match occurred (useful for RegEx)

@Col-E Col-E added enhancement 3.X ux User interface/experience specific labels Sep 25, 2022
@Col-E
Copy link
Owner

Col-E commented Sep 25, 2022

Skipping a few other formatting comments, as I'll just apply the formatter when merging.

@Col-E
Copy link
Owner

Col-E commented Jun 4, 2024

Live search has been adapted into the 4.x branch

@Col-E Col-E closed this Jun 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
3.X enhancement ux User interface/experience specific
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants