From d57901db020758276341622a4d4dd76f9135a012 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Sat, 25 Apr 2020 20:37:17 +0200
Subject: [PATCH] Keep code coloring in search results short text

---
 src/librustdoc/html/static/main.js | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
index 3f12fb893a440..520f056b64e9d 100644
--- a/src/librustdoc/html/static/main.js
+++ b/src/librustdoc/html/static/main.js
@@ -1424,6 +1424,17 @@ function getSearchElement() {
             return tmp;
         }
 
+        function colorCode(s) {
+            var parts = s.split("`");
+            if (parts.length < 3) {
+                return s;
+            }
+            for (var it = 1; it < parts.length; it += 2) {
+                parts[it] = "<code>" + parts[it] + "</code>";
+            }
+            return parts.join("");
+        }
+
         function addTab(array, query, display) {
             var extraStyle = "";
             if (display === false) {
@@ -1458,7 +1469,7 @@ function getSearchElement() {
                               item.displayPath + "<span class=\"" + type + "\">" +
                               name + "</span></a></td><td>" +
                               "<a href=\"" + item.href + "\">" +
-                              "<span class=\"desc\">" + escape(item.desc) +
+                              "<span class=\"desc\">" + colorCode(escape(item.desc)) +
                               "&nbsp;</span></a></td></tr>";
                 });
                 output += "</table>";