diff --git a/lib/docs/index.html b/lib/docs/index.html index 6b9f95a7d0ca44a68053d3482c7378b38dac1ce4..b51b41c505dc4b7893c0fa6cc26d15bc4ceb883e 100644 --- a/lib/docs/index.html +++ b/lib/docs/index.html @@ -758,7 +758,7 @@
- s to search, ? for more options + / or s to search, ? for more options
diff --git a/lib/docs/main.js b/lib/docs/main.js index 14bcf0f544a2b9e30b8d038b65c97b4babab76d6..f217e80a2cbc223db73cce60665b5c241f0b6842 100644 --- a/lib/docs/main.js +++ b/lib/docs/main.js @@ -4031,6 +4031,7 @@ function addDeclToSearchResults(decl, declIndex, modNames, item, list, stack) { case "Esc": onEscape(ev); break; + case "/": case "s": if (domHelpModal.classList.contains("hidden")) { if (ev.target == domSearch) break;