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 search plugin #310

Merged
merged 2 commits into from
Jun 23, 2022
Merged

Conversation

VadimSaveljev
Copy link
Contributor

@VadimSaveljev VadimSaveljev commented Jun 16, 2022

I've added local search plugin, doesn't require any third party to work.

Screenshot 2022-06-16 at 17 46 58

styles were updated with !important tag according to recommendation in cmfcmf/docusaurus-search-local#107 (comment)

P.S. Do we want to use full fledged Algolia DocSearch? Will require a registration https://docsearch.algolia.com/apply/
and some configuration. If not then my above solution should be good enough.

@shawntabrizi
Copy link
Member

IMO a local search is way better than depending on some cloud service, so I think you did the perfect thing here :)

@jacogr
Copy link
Member

jacogr commented Jun 19, 2022

Have not taken a look, but do agree with Shawn here on the intent.

Could you just merge master to get the yarn.lock conflict sorted and I'll take a peek.

@VadimSaveljev
Copy link
Contributor Author

Could you just merge master to get the yarn.lock conflict sorted and I'll take a peek.

Done

@VadimSaveljev VadimSaveljev changed the title Add search plugin; update docs; Add search plugin Jun 19, 2022
@shawntabrizi shawntabrizi requested a review from jacogr June 21, 2022 14:10
@shawntabrizi shawntabrizi merged commit e37cd22 into polkadot-js:master Jun 23, 2022
@shawntabrizi
Copy link
Member

@jacogr tried this locally and works well. hope you don't mind the merge

@polkadot-js-bot
Copy link

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@polkadot-js polkadot-js locked as resolved and limited conversation to collaborators Jun 25, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants