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

Create a search index for playground (out of the snippet server) #675

Open
RaananW opened this issue Oct 17, 2022 · 0 comments
Open

Create a search index for playground (out of the snippet server) #675

RaananW opened this issue Oct 17, 2022 · 0 comments
Assignees
Labels
enhancement New feature or request
Milestone

Comments

@RaananW
Copy link
Member

RaananW commented Oct 17, 2022

At its current state, playground search doesn't accept special characters or even spaces, due to the way it is searching in the snippet database.
A different approach would be to store active and new playgrounds to a search index that will allow more complex search and filtering.

@RaananW RaananW self-assigned this Oct 17, 2022
@thomlucc thomlucc added this to the 6.0 milestone Oct 17, 2022
@thomlucc thomlucc modified the milestones: 6.0, 7.0 Mar 14, 2023
@RaananW RaananW modified the milestones: 7.0, Future Jan 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants