diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index 5b7e61a34..83a200ca3 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;