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.

Sign up for GitHub

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

Jump to bottom

✨ Fuzzy search in settings search #1541

Open
luah5 opened this issue Jan 2, 2024 · 0 comments
Open

✨ Fuzzy search in settings search #1541

luah5 opened this issue Jan 2, 2024 · 0 comments
Assignees
@tom-ludwig
Labels
enhancement New feature or request triage needed

Comments

@luah5
Copy link
Member

luah5 commented Jan 2, 2024

Description

Fuzzy search in settings search using the same code that open quickly overlay uses.

Alternatives Considered

N/A

Additional Context

Should use the same code as the fuzzy search seen in the open quickly overlay

Screenshots

N/A
@luah5 luah5 added the enhancement New feature or request label Jan 2, 2024
@tom-ludwig tom-ludwig self-assigned this Jan 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tom-ludwig tom-ludwig

Labels
enhancement New feature or request triage needed
Projects
CodeEdit Project
Status: 🆕 New
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tom-ludwig @luah5