Skip to content

Add button to search extensions#2966

Open
fire-light42 wants to merge 1 commit into
masterfrom
reposearch
Open

Add button to search extensions#2966
fire-light42 wants to merge 1 commit into
masterfrom
reposearch

Conversation

@fire-light42

Copy link
Copy Markdown
Collaborator

I also changed the search function to remove any non-matches. Additionally it matches based on the plugin description.

It works well but I am unsure if it will lag on older devices.

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.

1 participant