Merge pull request #9494 from tk0miya/9456_revert_9129

Fix #9456: html search: html_copy_source can't control the search summaries
sphinx-doc · Jul 25, 2021 · 4dc45f0 · 4dc45f0
2 parents 5d8f925 + df562b4
commit 4dc45f0
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/CHANGES b/CHANGES
@@ -24,6 +24,7 @@ Bugs fixed
 * #9490: autodoc: Some objects under ``typing`` module are not displayed well
   with the HEAD of 3.10
 * #9436, #9471: autodoc: crashed if ``autodoc_class_signature = "separated"``
+* #9456: html search: html_copy_source can't control the search summaries
 * #9435: linkcheck: Failed to check anchors in github.com
 
 Testing

diff --git a/sphinx/themes/basic/static/searchtools.js b/sphinx/themes/basic/static/searchtools.js
@@ -276,7 +276,7 @@ var Search = {
           setTimeout(function() {
             displayNextItem();
           }, 5);
-        } else {
+        } else if (DOCUMENTATION_OPTIONS.HAS_SOURCE) {
           $.ajax({url: requestUrl,
                   dataType: "text",
                   complete: function(jqxhr, textstatus) {
@@ -289,6 +289,12 @@ var Search = {
                       displayNextItem();
                     }, 5);
                   }});
+        } else {
+          // no source available, just display title
+          Search.output.append(listItem);
+          setTimeout(function() {
+            displayNextItem();
+          }, 5);
         }
       }
       // search finished, update title and status message