Mercurial Repositories > eric / file comparison
comparison: src/eric7/DebugClients/Python/coverage/htmlfiles/coverage_html.js
src/eric7/DebugClients/Python/coverage/htmlfiles/coverage_html.js
- branch
- eric7
- changeset 9374
- ed79209469ad
- parent 9209
- b99e7fd55fd3
equal
deleted
inserted
replaced
| 9373:e074358157f4 | 9374:ed79209469ad |
|---|---|
| 164 } | 164 } |
| 165 })); | 165 })); |
| 166 | 166 |
| 167 // Trigger change event on setup, to force filter on page refresh | 167 // Trigger change event on setup, to force filter on page refresh |
| 168 // (filter value may still be present). | 168 // (filter value may still be present). |
| 169 document.getElementById("filter").dispatchEvent(new Event("change")); | 169 document.getElementById("filter").dispatchEvent(new Event("input")); |
| 170 }; | 170 }; |
| 171 | 171 |
| 172 coverage.INDEX_SORT_STORAGE = "COVERAGE_INDEX_SORT_2"; | 172 coverage.INDEX_SORT_STORAGE = "COVERAGE_INDEX_SORT_2"; |
| 173 | 173 |
| 174 // Loaded on index.html | 174 // Loaded on index.html |
| 551 scroll_marker.id = "scroll_marker"; | 551 scroll_marker.id = "scroll_marker"; |
| 552 document.getElementById('source').querySelectorAll( | 552 document.getElementById('source').querySelectorAll( |
| 553 'p.show_run, p.show_mis, p.show_exc, p.show_exc, p.show_par' | 553 'p.show_run, p.show_mis, p.show_exc, p.show_exc, p.show_par' |
| 554 ).forEach(element => { | 554 ).forEach(element => { |
| 555 const line_top = Math.floor(element.offsetTop * marker_scale); | 555 const line_top = Math.floor(element.offsetTop * marker_scale); |
| 556 const line_number = parseInt(element.id.substr(1)); | 556 const line_number = parseInt(element.querySelector(".n a").id.substr(1)); |
| 557 | 557 |
| 558 if (line_number === previous_line + 1) { | 558 if (line_number === previous_line + 1) { |
| 559 // If this solid missed block just make previous mark higher. | 559 // If this solid missed block just make previous mark higher. |
| 560 last_mark.style.height = `${line_top + line_height - last_top}px`; | 560 last_mark.style.height = `${line_top + line_height - last_top}px`; |
| 561 } else { | 561 } else { |
