| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
This uses Elasticsearch and is vastly better than the old one. Here are some features:
- sensible full text search with a simpe syntax for querying documents
- per language and version search
- breadcrumbs to parent documents under each search result for deeply nested documents
- browser bar integration via OpenSearch description
- better styled pagination
- faster indexing
- press / to focus the search input
- improved search result page sidebar with links like on regular documentation pages
- cleaned up template tags and some other code
Fixes #423, #409, #279, #245, #244, #240 and #284.
|
|
Conflicts:
templates/base.html
|
|
|
|
|
|
The search form was designed so that, in the absence of a release ID,
it would yield search results corresponding to the current stable version.
However, there was a bug in the displaying of the form in that
the current release was not selected in the widget.
Another issue is that it was possible to trigger a 500 error by
passing an inexistant release ID to the page.
This commit fixes both those issues and a 404 is now raised when
passing an invalid release ID to the page.
|
|
|
|
|
|
|
