diff --git a/docs/assets/js/search.js b/docs/assets/js/search.js index 9c6b9d75d5..0be06cca8a 100644 --- a/docs/assets/js/search.js +++ b/docs/assets/js/search.js @@ -23,7 +23,6 @@ }) function search(searchTerm) { - var startTime = performance.now() var searchResult = fuse.search(searchTerm) iconListContainer.innerHTML = "" @@ -36,16 +35,12 @@ iconListContainer.append(...iconElementList) } - console.log("time (ms):", performance.now() - startTime) - var newUrl = new URL(location) - if (searchTerm.length > 0) { newUrl.searchParams.set("q", searchTerm) } else { newUrl.searchParams.delete("q") } - history.replaceState(null, null, newUrl) }