Add possibility to focus on search input using keyboard

Author: GuillaumeGomez

util/gh-pages/index.html

@@ -541,7 +541,7 @@ <h1>Clippy Lints</h1>
                     <div class="col-12 col-md-5 search-control">
                         <div class="input-group">
                             <label class="input-group-addon" id="filter-label" for="search-input">Filter:</label>
-                            <input type="text" class="form-control filter-input" placeholder="Keywords or search string" id="search-input"
+                            <input type="text" class="form-control filter-input" placeholder="Keywords or search string (`S` or `/` to focus)" id="search-input"
                                 ng-model="search" ng-blur="updatePath()" ng-keyup="$event.keyCode == 13 && updatePath()"
                                 ng-model-options="{debounce: 50}" />
                             <span class="input-group-btn">

util/gh-pages/script.js

@@ -579,6 +579,40 @@ function setTheme(theme, store) {
     }
 }
 
+function getVirtualKey(ev) {
+    if ("key" in ev && typeof ev.key !== "undefined") {
+        return ev.key;
+    }
+
+    const c = ev.charCode || ev.keyCode;
+    if (c === 27) {
+        return "Escape";
+    }
+    return String.fromCharCode(c);
+}
+
+function handleShortcut(ev) {
+    if (document.activeElement.tagName === "INPUT") {
+        if (getVirtualKey(ev) === "Escape") {
+            document.activeElement.blur();
+        }
+    } else {
+        switch (getVirtualKey(ev)) {
+            case "s":
+            case "S":
+            case "/":
+                ev.preventDefault(); // To prevent the kep to be put into the input.
+                document.getElementById("search-input").focus();
+                break;
+            default:
+                break;
+        }
+    }
+}
+
+document.addEventListener("keypress", handleShortcut);
+document.addEventListener("keydown", handleShortcut);
+
 // loading the theme after the initial load
 const prefersDark = window.matchMedia("(prefers-color-scheme: dark)");
 const theme = localStorage.getItem('clippy-lint-list-theme');