From a8e1352d78379ffe1bd4e1a1e507ca5de6babd35 Mon Sep 17 00:00:00 2001
From: Rob Ede <robjtede@icloud.com>
Date: Mon, 24 Jan 2022 11:36:15 +0000
Subject: [PATCH] Autofocus search input

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

diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html
index 5b7e61a349d..83a200ca3c4 100644
--- a/util/gh-pages/index.html
+++ b/util/gh-pages/index.html
@@ -522,6 +522,11 @@ Otherwise, have a great day =^.^=
                 }
 
                 scrollToLintByURL($scope);
+
+                setTimeout(function () {
+                    var el = document.getElementById('filter-input');
+                    if (el) { el.focus() }
+                }, 0);
             })
             .error(function (data) {
                 $scope.error = data;