Merge branch 'main' into content-extension

This commit is contained in:
Francisco Arceo 2025-08-11 13:45:25 -06:00 committed by GitHub
commit 2fbddb4beb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
30 changed files with 669 additions and 92 deletions

14
docs/_static/js/keyboard_shortcuts.js vendored Normal file
View file

@ -0,0 +1,14 @@
document.addEventListener('keydown', function(event) {
// command+K or ctrl+K
if ((event.metaKey || event.ctrlKey) && event.key === 'k') {
event.preventDefault();
document.querySelector('.search-input, .search-field, input[name="q"]').focus();
}
// forward slash
if (event.key === '/' &&
!event.target.matches('input, textarea, select')) {
event.preventDefault();
document.querySelector('.search-input, .search-field, input[name="q"]').focus();
}
});