Fix / keyboard shortcut to allow typing / within the search field

- Select all existing text in the field when pressing the shortcut.
- Remove broken Algolia integration (unused since 4.0) and move
  the shortcut code to the main `custom.js` file.
This commit is contained in:
Hugo Locurcio
2023-12-04 15:43:50 +01:00
parent c807ccecaf
commit 04020f1c08
3 changed files with 12 additions and 30 deletions

View File

@@ -217,9 +217,7 @@ if not on_rtd:
html_css_files.append("css/dev.css")
html_js_files = [
"js/custom.js?6", # Increment the number at the end when the file changes to bust the cache.
('https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.js', {'defer': 'defer'}),
('js/algolia.js', {'defer': 'defer'})
"js/custom.js?7", # Increment the number at the end when the file changes to bust the cache.
]
# Output file base name for HTML help builder