Autofocus search input

Author: robjtede

util/gh-pages/index.html

@@ -522,6 +522,11 @@ <h2 class="panel-title">
                 }
 
                 scrollToLintByURL($scope);
+
+                setTimeout(function () {
+                    var el = document.getElementById('filter-input');
+                    if (el) { el.focus() }
+                }, 0);
             })
             .error(function (data) {
                 $scope.error = data;