From b2ca5af1e1811d2ac00a552df4703e8f318582b8 Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Sat, 16 Oct 2021 20:27:10 -0400
Subject: feat(html): sticky header on pyfile

---
 coverage/htmlfiles/coverage_html.js | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

(limited to 'coverage/htmlfiles/coverage_html.js')

diff --git a/coverage/htmlfiles/coverage_html.js b/coverage/htmlfiles/coverage_html.js
index 30d3a067..514103c7 100644
--- a/coverage/htmlfiles/coverage_html.js
+++ b/coverage/htmlfiles/coverage_html.js
@@ -276,9 +276,27 @@ coverage.pyfile_ready = function ($) {
 
     coverage.assign_shortkeys();
     coverage.wire_up_help_panel();
-
     coverage.init_scroll_markers();
 
+    const sticky = document.querySelector('#sticky_header');
+    const header = document.querySelector('header');
+    const header_bottom = document.querySelector('header .content .stats').getBoundingClientRect().top;
+
+    function updateHeader() {
+        if (window.scrollY > header_bottom) {
+            sticky.classList.add('visible');
+            header.classList.add('hidden');
+        } else {
+            sticky.classList.remove('visible');
+            header.classList.remove('hidden');
+        }
+    }
+
+    updateHeader();
+    window.addEventListener('scroll', function() {
+        updateHeader();
+    });
+
     // Rebuild scroll markers when the window height changes.
     $(window).resize(coverage.build_scroll_markers);
 };
-- 
cgit v1.2.1