diff options
| -rw-r--r-- | src/librustdoc/html/static/main.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index 5a6d7616832..8844ed82bb5 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -101,6 +101,10 @@ if (document.activeElement.tagName == "INPUT") return; + // Don't interfere with browser shortcuts + if (ev.ctrlKey || ev.altKey || ev.metaKey) + return; + switch (getVirtualKey(ev)) { case "Escape": if (!$("#help").hasClass("hidden")) { |