From 75161478c7706260e82578ce3df92a6e209c110a Mon Sep 17 00:00:00 2001 From: Takeshi KOMIYA Date: Sun, 9 May 2021 22:14:04 +0900 Subject: [PATCH] Fix #8380: html search: tags for search result are broken --- CHANGES | 2 ++ sphinx/themes/basic/static/searchtools.js | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/CHANGES b/CHANGES index 8458f30efa..d0e104efae 100644 --- a/CHANGES +++ b/CHANGES @@ -16,6 +16,8 @@ Features added Bugs fixed ---------- +* #8380: html search: tags for search result are broken + Testing -------- diff --git a/sphinx/themes/basic/static/searchtools.js b/sphinx/themes/basic/static/searchtools.js index 2f500ae5d2..e09f9263f0 100644 --- a/sphinx/themes/basic/static/searchtools.js +++ b/sphinx/themes/basic/static/searchtools.js @@ -509,7 +509,7 @@ var Search = { var excerpt = ((start > 0) ? '...' : '') + $.trim(text.substr(start, 240)) + ((start + 240 - text.length) ? '...' : ''); - var rv = $('

').text(excerpt); + var rv = $('

').text(excerpt); $.each(hlwords, function() { rv = rv.highlightText(this, 'highlighted'); });