diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2024-10-22 22:54:29 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2024-10-22 22:54:29 +0200 |
| commit | b33977b8520bfcf476a30ace4ac2f354e391aeed (patch) | |
| tree | 29c9a9ba914ccdd02e079fd6091b1553cee6ec65 | |
| parent | 97d13a8c0a338b2a1d09482cfab463c3b431ae4a (diff) | |
| download | rust-b33977b8520bfcf476a30ace4ac2f354e391aeed.tar.gz rust-b33977b8520bfcf476a30ace4ac2f354e391aeed.zip | |
Fix invalid lint ID filtering
| -rw-r--r-- | util/gh-pages/script.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js index 111555ca95f..9928c86a98f 100644 --- a/util/gh-pages/script.js +++ b/util/gh-pages/script.js @@ -512,7 +512,7 @@ function scrollToLint(lintId) { // If the page we arrive on has link to a given lint, we scroll to it. function scrollToLintByURL() { - const lintId = window.location.hash.substring(2); + const lintId = window.location.hash.substring(1); if (lintId.length > 0) { scrollToLint(lintId); } |