From 97f5db97c464bfa44467ccff5c0ff6ac2a681d85 Mon Sep 17 00:00:00 2001
From: xFrednet <xFrednet@gmail.com>
Date: Sun, 20 Dec 2020 15:53:23 +0000
Subject: [PATCH 1/2] Website issue tracker link and better search performance

* last minor improvements
---
 util/gh-pages/index.html | 54 +++++++++++++++++++++++-----------------
 1 file changed, 31 insertions(+), 23 deletions(-)

diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html
index 428708136cb..ad48294b844 100644
--- a/util/gh-pages/index.html
+++ b/util/gh-pages/index.html
@@ -77,7 +77,7 @@
                     <div class="col-md-12 form-horizontal">
                         <div class="input-group">
                             <label class="input-group-addon" id="filter-label" for="filter-input">Filter:</label>
-                            <input type="text" class="form-control" placeholder="Keywords or search string" id="filter-input" ng-model="search" />
+                            <input type="text" class="form-control" placeholder="Keywords or search string" id="filter-input" ng-model="search" ng-model-options="{debounce: 50}"/>
                             <span class="input-group-btn">
                                 <button class="btn btn-default" type="button" ng-click="search = ''">
                                     Clear
@@ -119,6 +119,7 @@
                             {{title}}
                         </h4>
                         <div class="list-group-item-text" ng-bind-html="text | markdown"></div>
+                        <a ng-if="title == 'Known problems'" href="https://github.com/rust-lang/rust-clippy/issues?q=is%3Aissue+is%3Aopen+{{lint.id}}">Search on GitHub</a>
                     </li>
                 </ul>
             </article>
@@ -180,6 +181,22 @@
             }
         }
 
+        function searchLint(lint, therm) {
+            for (const field in lint.docs) {
+                // Continue if it's not a property
+                if (!lint.docs.hasOwnProperty(field)) {
+                    continue;
+                }
+
+                // Return if not found
+                if (lint.docs[field].toLowerCase().indexOf(therm) !== -1) {
+                    return true;
+                }
+            }
+
+            return false;
+        }
+
         angular.module("clippy", [])
         .filter('markdown', function ($sce) {
             return function (text) {
@@ -216,40 +233,31 @@
             };
 
             $scope.bySearch = function (lint, index, array) {
-                let search_str = $scope.search;
+                let searchStr = $scope.search;
                 // It can be `null` I haven't missed this value 
-                if (search_str == null || search_str.length == 0) {
+                if (searchStr == null || searchStr.length < 3) {
                     return true;
                 }
-                search_str = search_str.toLowerCase();
+                searchStr = searchStr.toLowerCase();
 
                 // Search by id
-                let id_search = search_str.trim().replace(/(\-| )/g, "_");
-                if (lint.id.includes(id_search)) {
+                if (lint.id.indexOf(searchStr.replace("-", "_")) !== -1) {
                     return true;
                 }
 
                 // Search the description
                 // The use of `for`-loops instead of `foreach` enables us to return early 
-                let search_lint = (lint, therm) => {
-                    for (const field in lint.docs) {
-                        // Continue if it's not a property
-                        if (!lint.docs.hasOwnProperty(field)) {
-                            continue;
-                        }
-
-                        // Return if not found
-                        if (lint.docs[field].toLowerCase().includes(therm)) {
-                            return true;
-                        }
-                    }
-                    return false;
-                };
-                let therms = search_str.split(" ");
+                let therms = searchStr.split(" ");
                 for (index = 0; index < therms.length; index++) {
-                    if (!search_lint(lint, therms[index])) {
-                        return false;
+                    if (lint.id.indexOf(therms[index]) !== -1) {
+                        continue;
                     }
+
+                    if (searchLint(lint, therms[index])) {
+                        continue;
+                    }
+
+                    return false;
                 }
 
                 return true;

From f055e7f2e9cc7233dd31384afdb303d362578012 Mon Sep 17 00:00:00 2001
From: xFrednet <xFrednet@gmail.com>
Date: Tue, 22 Dec 2020 20:02:59 +0000
Subject: [PATCH 2/2] Fixed a value spelling mistake

---
 util/gh-pages/index.html | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html
index ad48294b844..1852fb6640e 100644
--- a/util/gh-pages/index.html
+++ b/util/gh-pages/index.html
@@ -181,7 +181,7 @@
             }
         }
 
-        function searchLint(lint, therm) {
+        function searchLint(lint, term) {
             for (const field in lint.docs) {
                 // Continue if it's not a property
                 if (!lint.docs.hasOwnProperty(field)) {
@@ -189,7 +189,7 @@
                 }
 
                 // Return if not found
-                if (lint.docs[field].toLowerCase().indexOf(therm) !== -1) {
+                if (lint.docs[field].toLowerCase().indexOf(term) !== -1) {
                     return true;
                 }
             }
@@ -247,13 +247,13 @@
 
                 // Search the description
                 // The use of `for`-loops instead of `foreach` enables us to return early 
-                let therms = searchStr.split(" ");
-                for (index = 0; index < therms.length; index++) {
-                    if (lint.id.indexOf(therms[index]) !== -1) {
+                let terms = searchStr.split(" ");
+                for (index = 0; index < terms.length; index++) {
+                    if (lint.id.indexOf(terms[index]) !== -1) {
                         continue;
                     }
 
-                    if (searchLint(lint, therms[index])) {
+                    if (searchLint(lint, terms[index])) {
                         continue;
                     }