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

search bar on the site #113

Closed
thomas-saigre opened this issue Apr 16, 2020 · 1 comment
Closed

search bar on the site #113

thomas-saigre opened this issue Apr 16, 2020 · 1 comment
Assignees
@prudhomm
Labels
type:feature A function or behavior that supports a new capability.

Comments

@thomas-saigre
Copy link
Contributor

It could be very useful to have a search bar if we look for a particular notion and don't really know in which page it is
@prudhomm prudhomm self-assigned this Apr 17, 2020
@prudhomm prudhomm added the type:feature A function or behavior that supports a new capability. label Apr 17, 2020
@prudhomm
Copy link
Member

it is available on the top navbar. you may need to hard refresh the web page to see it. I use Algolia to index the website. the index is organized by antora components and version for feelpp dependent components and are versionless for the others (version is set to master in that case as defined by antora).

Screenshot 2020-04-17 08 25 28

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@prudhomm prudhomm

Labels
type:feature A function or behavior that supports a new capability.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@prudhomm @thomas-saigre