From daabf4fe40a25599f77b40b9d325590da06d91e2 Mon Sep 17 00:00:00 2001
From: Dimitri Jorge <jorge.dimitri@gmail.com>
Date: Thu, 4 Sep 2014 16:11:59 +0200
Subject: [PATCH] Ensure all inserted searchTerms are unique

---
 doc/assets/js/docs.js | 27 ++++++++++++++++++---------
 1 file changed, 18 insertions(+), 9 deletions(-)

diff --git a/doc/assets/js/docs.js b/doc/assets/js/docs.js
index 31d9edf2e..15dce1b58 100644
--- a/doc/assets/js/docs.js
+++ b/doc/assets/js/docs.js
@@ -1,20 +1,29 @@
 var components = [];
+var unique_search_terms = {};
+
+function pushSearchTerm(searchTerm, data) {
+  if (!unique_search_terms[searchTerm]) {
+    components.push({
+      value: searchTerm,
+      data: data
+    });
+
+    unique_search_terms[searchTerm] = true
+  }
+}
+
 $("[data-search]")
   .each(function() {
     var self = $(this),
         searchTerm = self.text().trim(),
         otherSearchTerms = self.data("search").trim(),
         url = self.attr("href");
-    components.push({
-      value: searchTerm,
-      data: self.attr("href")
-    });
+
+    pushSearchTerm(searchTerm, self.attr("href"))
+
     if (otherSearchTerms !== "") {
       $.each(otherSearchTerms.split(","), function(idx, el) {
-        components.push({
-          value: el,
-          data: self.attr("href")
-        });
+        pushSearchTerm(el, self.attr("href"))
       });
     }
   });
@@ -84,4 +93,4 @@ if ($('[data-forum-posts]').length > 0) {
     dataType:'jsonp',
     success: cb
   });
-}
\ No newline at end of file
+}
-- 
2.47.2