-
Notifications
You must be signed in to change notification settings - Fork 112
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 #1
Comments
I will try around with this idea: |
Reading the above stackoverflow article and inspecting https://github.com/slashdotdash/jekyll-lunr-js-search closer, I came to following feature wishes:
This is not achieved by any plugins, so I played around with Google Custom Search available at https://github.com/JabRef/help.jabref.org/tree/add_google_custom_search. Here an example: Issues
Currently, too much effort for me to solve. |
Could we nonetheless merge the current version? It looks a bit unfinished but is better than no search at all. And maybe somebody else fixes the last issues. |
What about the SimpleSearch I posted above? |
https://github.com/christian-fei/Simple-Jekyll-Search does full-text-search, but no preview of the results. Further, we estimate that at the search page, ~3MB of (uncompressed) JSON is transferred to the user. This is not that mobile friendly, but could be OK for the desktop user. |
Ah okay. I think we can style the Google Custom search: There is already stylesheet code |
I did a straight-forward integration by scoping our markdown styling hacks (adding |
Added 1 new java file, updated 1 existing
It would be good if we had an instant search for the help. Currently not possible using gh-pages. Proposals at stackoverflow: http://stackoverflow.com/a/28553417/873282
The text was updated successfully, but these errors were encountered: