From 0c06442bcd340a55c24ce30bfe2c43054f232d93 Mon Sep 17 00:00:00 2001
From: Liigo Zhuang <com.liigo@gmail.com>
Date: Tue, 23 Dec 2014 20:22:50 +0800
Subject: [PATCH] display plain summary line in javascript

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

diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
index be5025936a2c..7e1e2ae77655 100644
--- a/src/librustdoc/html/static/main.js
+++ b/src/librustdoc/html/static/main.js
@@ -669,6 +669,18 @@
             search();
         }
 
+        function plainSummaryLine(markdown) {
+            var str = markdown.replace(/\n/g, ' ')
+            str = str.replace(/</g, "&lt;")
+            str = str.replace(/>/g, "&gt;")
+            str = str.replace(/"/g, "&quot;")
+            str = str.replace(/'/g, "&#39;")
+            str = str.replace(/^#+? (.+?)/, "$1")
+            str = str.replace(/\[(.*?)\]\(.*?\)/g, "$1")
+            str = str.replace(/\[(.*?)\]\[.*?\]/g, "$1")
+            return str;
+        }
+
         index = buildIndex(rawSearchIndex);
         startSearch();
 
@@ -691,7 +703,7 @@
                 }
                 var desc = rawSearchIndex[crates[i]].items[0][3];
                 div.append($('<a>', {'href': '../' + crates[i] + '/index.html',
-                                     'title': desc.replace(/\n/g, ' '),
+                                     'title': plainSummaryLine(desc),
                                      'class': klass}).text(crates[i]));
             }
             sidebar.append(div);