bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Remove unused code from main.js

Browse source 
It looks like `lev_distance` was used in a very old version of the function,
since it was written but never read, and Blame reports that it was added
before the `checkGenerics` function header itself.

`convertHTMLToPlaintext` is was removed by 768d5e9509
This commit is contained in:
Michael Howell 2021-03-04 17:06:06 -07:00
parent 45b3c28518
commit ad91915455
1 changed files with 0 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

20
src/librustdoc/html/static/main.js
View file

@ -843,7 +843,6 @@ function defocusSearchBar() {
function checkGenerics(obj, val) { function checkGenerics(obj, val) {
// The names match, but we need to be sure that all generics kinda // The names match, but we need to be sure that all generics kinda
// match as well. // match as well.
var lev_distance = MAX_LEV_DISTANCE + 1;
if (val.generics.length > 0) { if (val.generics.length > 0) {
if (obj.length > GENERICS_DATA && if (obj.length > GENERICS_DATA &&
obj[GENERICS_DATA].length >= val.generics.length) { obj[GENERICS_DATA].length >= val.generics.length) {
@ -866,7 +865,6 @@ function defocusSearchBar() {
} }
if (lev.pos !== -1) { if (lev.pos !== -1) {
elems.splice(lev.pos, 1); elems.splice(lev.pos, 1);
lev_distance = Math.min(lev.lev, lev_distance);
total += lev.lev; total += lev.lev;
done += 1; done += 1;
} else { } else {
@ -2054,24 +2052,6 @@ function defocusSearchBar() {
} }
} }
/**
* Convert HTML to plaintext:
*
* * Replace "<code>foo</code>" with "`foo`"
* * Strip all other HTML tags
*
* Used by the dynamic sidebar crate list renderer.
*
* @param {[string]} html [The HTML to convert]
* @return {[string]} [The resulting plaintext]
*/
function convertHTMLToPlaintext(html) {
var x = document.createElement("div");
x.innerHTML = html.replace('<code>', '`').replace('</code>', '`');
return x.innerText;
}
// delayed sidebar rendering. // delayed sidebar rendering.
window.initSidebarItems = function(items) { window.initSidebarItems = function(items) {
var sidebar = document.getElementsByClassName("sidebar-elems")[0]; var sidebar = document.getElementsByClassName("sidebar-elems")[0];