From 800431d15322304c71062b6791f7ea265c025c95 Mon Sep 17 00:00:00 2001 From: Martin Liska Date: Thu, 28 Jul 2022 12:01:47 +0200 Subject: [PATCH] search: save priority to HTML element for debugging --- sphinx/themes/basic/static/searchtools.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/sphinx/themes/basic/static/searchtools.js b/sphinx/themes/basic/static/searchtools.js index f2fb7d5cf7e..e83abb8b901 100644 --- 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 =