diff -r e074358157f4 -r ed79209469ad src/eric7/DebugClients/Python/coverage/htmlfiles/coverage_html.js
--- a/src/eric7/DebugClients/Python/coverage/htmlfiles/coverage_html.js Sat Oct 01 17:30:55 2022 +0200
+++ b/src/eric7/DebugClients/Python/coverage/htmlfiles/coverage_html.js Sat Oct 01 17:37:10 2022 +0200
@@ -166,7 +166,7 @@
// 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 @@
'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.
