@@ -90,40 +90,38 @@ const char *BeginHeader =
9090
9191const char *JSForCoverage =
9292 R"javascript(
93-
9493function next_uncovered(selector, reverse, scroll_selector) {
9594 function visit_element(element) {
9695 element.classList.add("seen");
9796 element.classList.add("selected");
98-
99- if (!scroll_selector) {
100- scroll_selector = "tr:has(.selected) td.line-number"
101- }
102-
103- const scroll_to = document.querySelector(scroll_selector);
104- if (scroll_to) {
105- scroll_to.scrollIntoView({behavior: "smooth", block: "center", inline: "end"});
106- }
107-
97+
98+ if (!scroll_selector) {
99+ scroll_selector = "tr:has(.selected) td.line-number"
100+ }
101+
102+ const scroll_to = document.querySelector(scroll_selector);
103+ if (scroll_to) {
104+ scroll_to.scrollIntoView({behavior: "smooth", block: "center", inline: "end"});
105+ }
108106 }
109-
107+
110108 function select_one() {
111109 if (!reverse) {
112110 const previously_selected = document.querySelector(".selected");
113-
111+
114112 if (previously_selected) {
115113 previously_selected.classList.remove("selected");
116114 }
117-
115+
118116 return document.querySelector(selector + ":not(.seen)");
119- } else {
117+ } else {
120118 const previously_selected = document.querySelector(".selected");
121-
119+
122120 if (previously_selected) {
123121 previously_selected.classList.remove("selected");
124122 previously_selected.classList.remove("seen");
125123 }
126-
124+
127125 const nodes = document.querySelectorAll(selector + ".seen");
128126 if (nodes) {
129127 const last = nodes[nodes.length - 1]; // last
@@ -133,54 +131,52 @@ function next_uncovered(selector, reverse, scroll_selector) {
133131 }
134132 }
135133 }
136-
134+
137135 function reset_all() {
138136 if (!reverse) {
139137 const all_seen = document.querySelectorAll(selector + ".seen");
140-
138+
141139 if (all_seen) {
142140 all_seen.forEach(e => e.classList.remove("seen"));
143141 }
144142 } else {
145143 const all_seen = document.querySelectorAll(selector + ":not(.seen)");
146-
144+
147145 if (all_seen) {
148146 all_seen.forEach(e => e.classList.add("seen"));
149147 }
150148 }
151-
149+
152150 }
153-
151+
154152 const uncovered = select_one();
155153
156154 if (uncovered) {
157155 visit_element(uncovered);
158156 } else {
159157 reset_all();
160-
161-
158+
162159 const uncovered = select_one();
163-
160+
164161 if (uncovered) {
165162 visit_element(uncovered);
166163 }
167164 }
168165}
169166
170- function next_line(reverse) {
167+ function next_line(reverse) {
171168 next_uncovered("td.uncovered-line", reverse)
172169}
173170
174- function next_region(reverse) {
171+ function next_region(reverse) {
175172 next_uncovered("span.red.region", reverse);
176173}
177174
178- function next_branch(reverse) {
175+ function next_branch(reverse) {
179176 next_uncovered("span.red.branch", reverse);
180177}
181178
182179document.addEventListener("keypress", function(event) {
183- console.log(event);
184180 const reverse = event.shiftKey;
185181 if (event.code == "KeyL") {
186182 next_line(reverse);
@@ -191,7 +187,6 @@ document.addEventListener("keypress", function(event) {
191187 if (event.code == "KeyR") {
192188 next_region(reverse);
193189 }
194-
195190});
196191)javascript" ;
197192
0 commit comments