From 85a49efa75916f3b96a3f21d8be98516d38fb760 Mon Sep 17 00:00:00 2001 From: Ned Batchelder Date: Sat, 6 Aug 2022 16:33:26 -0400 Subject: docs: latest sample --- doc/sample_html/coverage_html.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/sample_html/coverage_html.js') diff --git a/doc/sample_html/coverage_html.js b/doc/sample_html/coverage_html.js index 084a4970..1c4eb988 100644 --- a/doc/sample_html/coverage_html.js +++ b/doc/sample_html/coverage_html.js @@ -166,7 +166,7 @@ coverage.wire_up_filter = function () { // Trigger change event on setup, to force filter on page refresh // (filter value may still be present). - document.getElementById("filter").dispatchEvent(new Event("change")); + document.getElementById("filter").dispatchEvent(new Event("input")); }; coverage.INDEX_SORT_STORAGE = "COVERAGE_INDEX_SORT_2"; @@ -553,7 +553,7 @@ coverage.build_scroll_markers = function () { 'p.show_run, p.show_mis, p.show_exc, p.show_exc, p.show_par' ).forEach(element => { const line_top = Math.floor(element.offsetTop * marker_scale); - const line_number = parseInt(element.id.substr(1)); + const line_number = parseInt(element.querySelector(".n a").id.substr(1)); if (line_number === previous_line + 1) { // If this solid missed block just make previous mark higher. -- cgit v1.2.1