about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--util/gh-pages/index.html5
1 files changed, 5 insertions, 0 deletions
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;