Skip to content
Permalink
Browse files

Fix lines highlighting in rustdoc source view

  • Loading branch information...
GuillaumeGomez committed May 21, 2019
1 parent 589beb9 commit 8ca388743927547a23e512ecccb66d87ab024043
Showing with 14 additions and 3 deletions.
  1. +14 −3 src/librustdoc/html/static/main.js
@@ -162,8 +162,15 @@ if (!DOMTokenList.prototype.remove) {
var i, from, to, match = window.location.hash.match(/^#?(\d+)(?:-(\d+))?$/);
if (match) {
from = parseInt(match[1], 10);
to = Math.min(50000, parseInt(match[2] || match[1], 10));
from = Math.min(from, to);
to = from;
if (typeof match[2] !== "undefined") {
to = parseInt(match[2], 10);
}
if (to < from) {
var tmp = to;
to = from;
from = tmp;
}
elem = document.getElementById(from);
if (!elem) {
return;
@@ -180,7 +187,11 @@ if (!DOMTokenList.prototype.remove) {
});
});
for (i = from; i <= to; ++i) {
addClass(document.getElementById(i), "line-highlighted");
elem = document.getElementById(i);
if (!elem) {
break;
}
addClass(elem, "line-highlighted");
}
} else if (ev !== null && search && !hasClass(search, "hidden") && ev.newURL) {
addClass(search, "hidden");

0 comments on commit 8ca3887

Please sign in to comment.
You can’t perform that action at this time.