Mirrors/rust-clippy
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-clippy synced 2024-11-22 12:43:18 +00:00
Code Issues Projects Releases Packages Wiki Activity

Fix not working lint anchor

Browse source
This commit is contained in:
Guillaume Gomez 2024-10-22 22:50:17 +02:00
parent 5873cb9d17
commit 97d13a8c0a
2 changed files with 1 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
util/gh-pages/index_template.html
View file

@ -150,7 +150,7 @@ Otherwise, have a great day =^.^=
<h2 class="panel-title"> {# #}
<div class="panel-title-name" id="lint-{{lint.id}}"> {# #}
<span>{{lint.id}}</span> {#+ #}
<a href="#{{lint.id}}" class="anchor label label-default" onclick="openLint(event)">&para;</a> {#+ #}
<a href="#{{lint.id}}" class="anchor label label-default">&para;</a> {#+ #}
<a href="" class="anchor label label-default" onclick="copyToClipboard(event)"> {# #}
&#128203; {# #}
</a> {# #}

7
util/gh-pages/script.js
View file

@ -151,13 +151,6 @@ function expandLint(lintId) {
highlightIfNeeded(lintId);
}
// Show details for one lint
function openLint(event) {
event.preventDefault();
event.stopPropagation();
expandLint(event.target.getAttribute("href").slice(1));
}
function copyToClipboard(event) {
event.preventDefault();
event.stopPropagation();