11b6632d5d
If we press enter without any search value, we get directed to /$PROJECT/$VERSION/A/ident/ which is a "400 Bad Request". As the search input is selected by default, this is any enter press where the focus hasn't changed. `required` documentation: https://developer.mozilla.org/en-US/docs/Web/HTML/Reference/Attributes/required Signed-off-by: Théo Lebrun <theo.lebrun@bootlin.com> |
||
|---|---|---|
| .. | ||
| error.html | ||
| header.html | ||
| ident.html | ||
| layout.html | ||
| sidebar.html | ||
| source.html | ||
| topbar.html | ||
| tree.html | ||