search: save priority to HTML element for debugging

sphinx-doc · Sep 9, 2022 · 87bf1ef · 87bf1ef
1 parent 7da60f2
commit 87bf1ef
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/sphinx/themes/basic/static/searchtools.js b/sphinx/themes/basic/static/searchtools.js
@@ -64,7 +64,7 @@ const _displayItem = (item, highlightTerms, searchTerms) => {
   const docLinkSuffix = DOCUMENTATION_OPTIONS.LINK_SUFFIX;
   const showSearchSummary = DOCUMENTATION_OPTIONS.SHOW_SEARCH_SUMMARY;
 
-  const [docName, title, anchor, descr] = item;
+  const [docName, title, anchor, descr, priority] = item;
 
   let listItem = document.createElement("li");
   let requestUrl;
@@ -86,6 +86,7 @@ const _displayItem = (item, highlightTerms, searchTerms) => {
   params.set("highlight", [...highlightTerms].join(" "));
   let linkEl = listItem.appendChild(document.createElement("a"));
   linkEl.href = linkUrl + "?" + params.toString() + anchor;
+  linkEl.dataset.priority = priority;
   linkEl.innerHTML = title;
   if (descr)
     listItem.appendChild(document.createElement("span")).innerHTML =