Merge branch 'main' into docs-nav-bar

This commit is contained in:
Alexey Rybak 2025-09-10 12:13:47 -07:00 committed by GitHub
commit 5d12e4f893
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1253 changed files with 141041 additions and 44488 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();
}
});