diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2022-08-06 16:33:26 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2022-08-06 16:33:26 -0400 |
| commit | 85a49efa75916f3b96a3f21d8be98516d38fb760 (patch) | |
| tree | bc2bbeaf185ca5a02f1bcddc460dd77988aae297 /doc/sample_html/coverage_html.js | |
| parent | 1da23c5bec55264ac4d754cb1c19322297ecdbdd (diff) | |
| download | python-coveragepy-git-85a49efa75916f3b96a3f21d8be98516d38fb760.tar.gz | |
docs: latest sample6.4.3
Diffstat (limited to 'doc/sample_html/coverage_html.js')
| -rw-r--r-- | doc/sample_html/coverage_html.js | 4 |
1 files changed, 2 insertions, 2 deletions
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. |