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 bar to docs site #133

Open
davidmirror-ops opened this issue Aug 16, 2022 · 1 comment
Open

Add search bar to docs site #133

davidmirror-ops opened this issue Aug 16, 2022 · 1 comment
Assignees
Labels
documentation Improvements or additions to documentation enhancement New feature or request

Comments

@davidmirror-ops
Copy link
Contributor

davidmirror-ops commented Aug 16, 2022

As mentioned by Dodd Pfeffer here, the Cartographer documentation site lacks a search capability

@davidmirror-ops
Copy link
Contributor Author

Already applied to Algolia's DocSearch and after review, will send a PR with the proposed changes to add the search bar to the site

@davidmirror-ops davidmirror-ops self-assigned this Aug 16, 2022
@davidmirror-ops davidmirror-ops added documentation Improvements or additions to documentation enhancement New feature or request labels Aug 16, 2022
squeedee added a commit that referenced this issue Sep 2, 2022
- adds search box that needs re-styling
- searches the entire index, need to filter vy current  version

[#133]

Co-authored-by: David Espejo <[email protected]>
@squeedee squeedee moved this to Doing in Cartographer OSS Oct 3, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation enhancement New feature or request
Projects
Status: Doing
Development

No branches or pull requests

2 participants
@davidmirror-ops and others