Skip to content

Commit 85a49ef

Browse files
nedbatnedbat
committed
docs: latest sample
1 parent 1da23c5 commit 85a49ef

12 files changed

+43
-43
lines changed

‎doc/sample_html/coverage_html.js

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -166,7 +166,7 @@ coverage.wire_up_filter = function () {
166166

167167
// Trigger change event on setup, to force filter on page refresh
168168
// (filter value may still be present).
169-
document.getElementById("filter").dispatchEvent(new Event("change"));
169+
document.getElementById("filter").dispatchEvent(new Event("input"));
170170
};
171171

172172
coverage.INDEX_SORT_STORAGE = "COVERAGE_INDEX_SORT_2";
@@ -553,7 +553,7 @@ coverage.build_scroll_markers = function () {
553553
'p.show_run, p.show_mis, p.show_exc, p.show_exc, p.show_par'
554554
).forEach(element => {
555555
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));
557557

558558
if (line_number === previous_line + 1) {
559559
// If this solid missed block just make previous mark higher.

‎doc/sample_html/d_7b071bdc2a35fa80___init___py.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -66,8 +66,8 @@ <h2>
6666
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
6767
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80___main___py.html">&#xbb; next</a>
6868
&nbsp; &nbsp; &nbsp;
69-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
70-
created at 2022-07-12 09:07 -0400
69+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
70+
created at 2022-08-06 16:32 -0400
7171
</p>
7272
<aside class="hidden">
7373
<button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -99,8 +99,8 @@ <h2>
9999
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
100100
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80___main___py.html">&#xbb; next</a>
101101
&nbsp; &nbsp; &nbsp;
102-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
103-
created at 2022-07-12 09:07 -0400
102+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
103+
created at 2022-08-06 16:32 -0400
104104
</p>
105105
</div>
106106
</footer>

‎doc/sample_html/d_7b071bdc2a35fa80___main___py.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -66,8 +66,8 @@ <h2>
6666
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
6767
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_backward_py.html">&#xbb; next</a>
6868
&nbsp; &nbsp; &nbsp;
69-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
70-
created at 2022-07-12 09:07 -0400
69+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
70+
created at 2022-08-06 16:32 -0400
7171
</p>
7272
<aside class="hidden">
7373
<button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -95,8 +95,8 @@ <h2>
9595
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
9696
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_backward_py.html">&#xbb; next</a>
9797
&nbsp; &nbsp; &nbsp;
98-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
99-
created at 2022-07-12 09:07 -0400
98+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
99+
created at 2022-08-06 16:32 -0400
100100
</p>
101101
</div>
102102
</footer>

‎doc/sample_html/d_7b071bdc2a35fa80_backward_py.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -66,8 +66,8 @@ <h2>
6666
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
6767
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_cogapp_py.html">&#xbb; next</a>
6868
&nbsp; &nbsp; &nbsp;
69-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
70-
created at 2022-07-12 09:07 -0400
69+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
70+
created at 2022-08-06 16:32 -0400
7171
</p>
7272
<aside class="hidden">
7373
<button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -132,8 +132,8 @@ <h2>
132132
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
133133
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_cogapp_py.html">&#xbb; next</a>
134134
&nbsp; &nbsp; &nbsp;
135-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
136-
created at 2022-07-12 09:07 -0400
135+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
136+
created at 2022-08-06 16:32 -0400
137137
</p>
138138
</div>
139139
</footer>

‎doc/sample_html/d_7b071bdc2a35fa80_cogapp_py.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -66,8 +66,8 @@ <h2>
6666
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
6767
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_makefiles_py.html">&#xbb; next</a>
6868
&nbsp; &nbsp; &nbsp;
69-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
70-
created at 2022-07-12 09:07 -0400
69+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
70+
created at 2022-08-06 16:32 -0400
7171
</p>
7272
<aside class="hidden">
7373
<button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -935,8 +935,8 @@ <h2>
935935
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
936936
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_makefiles_py.html">&#xbb; next</a>
937937
&nbsp; &nbsp; &nbsp;
938-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
939-
created at 2022-07-12 09:07 -0400
938+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
939+
created at 2022-08-06 16:32 -0400
940940
</p>
941941
</div>
942942
</footer>

‎doc/sample_html/d_7b071bdc2a35fa80_makefiles_py.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -66,8 +66,8 @@ <h2>
6666
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
6767
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_test_cogapp_py.html">&#xbb; next</a>
6868
&nbsp; &nbsp; &nbsp;
69-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
70-
created at 2022-07-12 09:07 -0400
69+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
70+
created at 2022-08-06 16:32 -0400
7171
</p>
7272
<aside class="hidden">
7373
<button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -136,8 +136,8 @@ <h2>
136136
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
137137
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_test_cogapp_py.html">&#xbb; next</a>
138138
&nbsp; &nbsp; &nbsp;
139-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
140-
created at 2022-07-12 09:07 -0400
139+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
140+
created at 2022-08-06 16:32 -0400
141141
</p>
142142
</div>
143143
</footer>

‎doc/sample_html/d_7b071bdc2a35fa80_test_cogapp_py.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -66,8 +66,8 @@ <h2>
6666
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
6767
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_test_makefiles_py.html">&#xbb; next</a>
6868
&nbsp; &nbsp; &nbsp;
69-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
70-
created at 2022-07-12 09:07 -0400
69+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
70+
created at 2022-08-06 16:32 -0400
7171
</p>
7272
<aside class="hidden">
7373
<button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -2723,8 +2723,8 @@ <h2>
27232723
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
27242724
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_test_makefiles_py.html">&#xbb; next</a>
27252725
&nbsp; &nbsp; &nbsp;
2726-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
2727-
created at 2022-07-12 09:07 -0400
2726+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
2727+
created at 2022-08-06 16:32 -0400
27282728
</p>
27292729
</div>
27302730
</footer>

‎doc/sample_html/d_7b071bdc2a35fa80_test_makefiles_py.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -66,8 +66,8 @@ <h2>
6666
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
6767
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_test_whiteutils_py.html">&#xbb; next</a>
6868
&nbsp; &nbsp; &nbsp;
69-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
70-
created at 2022-07-12 09:07 -0400
69+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
70+
created at 2022-08-06 16:32 -0400
7171
</p>
7272
<aside class="hidden">
7373
<button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -212,8 +212,8 @@ <h2>
212212
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
213213
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_test_whiteutils_py.html">&#xbb; next</a>
214214
&nbsp; &nbsp; &nbsp;
215-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
216-
created at 2022-07-12 09:07 -0400
215+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
216+
created at 2022-08-06 16:32 -0400
217217
</p>
218218
</div>
219219
</footer>

‎doc/sample_html/d_7b071bdc2a35fa80_test_whiteutils_py.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -66,8 +66,8 @@ <h2>
6666
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
6767
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_whiteutils_py.html">&#xbb; next</a>
6868
&nbsp; &nbsp; &nbsp;
69-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
70-
created at 2022-07-12 09:07 -0400
69+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
70+
created at 2022-08-06 16:32 -0400
7171
</p>
7272
<aside class="hidden">
7373
<button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -191,8 +191,8 @@ <h2>
191191
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
192192
<a id="nextFileLink" class="nav" href="d_7b071bdc2a35fa80_whiteutils_py.html">&#xbb; next</a>
193193
&nbsp; &nbsp; &nbsp;
194-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
195-
created at 2022-07-12 09:07 -0400
194+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
195+
created at 2022-08-06 16:32 -0400
196196
</p>
197197
</div>
198198
</footer>

‎doc/sample_html/d_7b071bdc2a35fa80_whiteutils_py.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -66,8 +66,8 @@ <h2>
6666
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
6767
<a id="nextFileLink" class="nav" href="index.html">&#xbb; next</a>
6868
&nbsp; &nbsp; &nbsp;
69-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
70-
created at 2022-07-12 09:07 -0400
69+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
70+
created at 2022-08-06 16:32 -0400
7171
</p>
7272
<aside class="hidden">
7373
<button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -163,8 +163,8 @@ <h2>
163163
<a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
164164
<a id="nextFileLink" class="nav" href="index.html">&#xbb; next</a>
165165
&nbsp; &nbsp; &nbsp;
166-
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.2</a>,
167-
created at 2022-07-12 09:07 -0400
166+
<a class="nav" href="https://coverage.readthedocs.io">coverage.py v6.4.3</a>,
167+
created at 2022-08-06 16:32 -0400
168168
</p>
169169
</div>
170170
</footer>

0 commit comments

Comments
 (0)