diff options
Diffstat (limited to 'coverage/htmlfiles/coverage_html.js')
| -rw-r--r-- | coverage/htmlfiles/coverage_html.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coverage/htmlfiles/coverage_html.js b/coverage/htmlfiles/coverage_html.js index 0c340a97..38c7c5cc 100644 --- a/coverage/htmlfiles/coverage_html.js +++ b/coverage/htmlfiles/coverage_html.js @@ -163,7 +163,7 @@ coverage.set_sel = function (b, e) { coverage.to_top = function () { coverage.set_sel(0, 1); - $("html").animate({scrollTop: 0}, 200); + $("html,body").animate({scrollTop: 0}, 200); }; coverage.to_first_chunk = function () { |