Closes sebastianbergmann#148.

Added a small "back to the top" link which appears when scrolling through code in the file view.

Author: whatthejeff

ChangeLog.markdown

@@ -6,6 +6,7 @@ This is the list of changes for the PHP_CodeCoverage 1.3 release series.
 PHP_CodeCoverage 1.3.0
 ----------------------
 
+* Implemented #148: Added a small "back to the top" link which appears when scrolling through code in the file view.
 * Added an option to raise an exception when code is unintentionally covered.
 * PHP_CodeCoverage 1.3 is only supported on PHP 5.4.7 (or later).
 

PHP/CodeCoverage/Report/HTML/Renderer/Template/css/style.css

@@ -84,3 +84,10 @@ span.success, span.warning, span.danger {
  height: 200px;
  width: 475px;
 }
+
+#toplink {
+ position: fixed;
+ left: 5px;
+ bottom: 5px;
+ outline: 0;
+}

PHP/CodeCoverage/Report/HTML/Renderer/Template/file.html.dist

@@ -41,7 +41,7 @@
 {items}
     </tbody>
    </table>
-   <table class="table table-borderless table-condensed">
+   <table id="code" class="table table-borderless table-condensed">
     <tbody>
 {lines}
     </tbody>
@@ -56,10 +56,33 @@
     <p>
      <small>Generated by <a href="http://github.com/sebastianbergmann/php-code-coverage" target="_top">PHP_CodeCoverage {version}</a> using <a href="http://www.php.net/" target="_top">PHP {php_version}</a>{generator} at {date}.</small>
     </p>
+    <a title="Back to the top" id="toplink" href="#"><i class="icon-arrow-up"></i></a>
    </footer>
   </div>
   <script src="js/jquery.min.js" type="text/javascript"></script>
   <script src="js/bootstrap.min.js" type="text/javascript"></script>
-  <script type="text/javascript">$('.popin').popover({trigger: 'hover'});</script>
+  <script type="text/javascript">
+  $(function() {
+   var $window   = $(window)
+     , $top_link = $('#toplink')
+     , $body     = $('body, html')
+     , offset    = $('#code').offset().top;
+
+   $top_link.hide().click(function(event) {
+    event.preventDefault();
+    $body.animate({scrollTop:0}, 800);
+   });
+
+   $window.scroll(function() {
+    if($window.scrollTop() > offset) {
+     $top_link.fadeIn();
+    } else {
+     $top_link.fadeOut();
+    }
+   }).scroll();
+
+   $('.popin').popover({trigger: 'hover'});
+  });
+  </script>
  </body>
 </html>