diff options
| author | J. M. F. Tsang <j.m.f.tsang@cantab.net> | 2022-04-22 00:32:11 +0100 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2022-05-19 12:40:23 -0400 |
| commit | 5b2e525e4cf635db5c8149850fbd0732236b9711 (patch) | |
| tree | d74de8eb15e256629d68883fca1fd59f9825afa1 /coverage/htmlfiles/index.html | |
| parent | 114b7625a1a90d669141bdf50825071a5500db38 (diff) | |
| download | python-coveragepy-git-5b2e525e4cf635db5c8149850fbd0732236b9711.tar.gz | |
feat: more html keyboard shortcuts
On each page the shortcuts '[' and ']' will take you to the previous and
next files respectively. On the index page they take you to the final
and first files respectively.
Pressing 'u' while on a file will now take you back to index.html, like
on Gerrit.
'?' opens and closes the help panel.
Test cases:
$ pytest --cov-report html --cov=. tests.py
in a directory with just tests.py, then with one, two or three .py
files.
Tested on Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:99.0) Gecko/20100101 Firefox/99.0
Diffstat (limited to 'coverage/htmlfiles/index.html')
| -rw-r--r-- | coverage/htmlfiles/index.html | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html index e1d3e9b5..9f8e88e6 100644 --- a/coverage/htmlfiles/index.html +++ b/coverage/htmlfiles/index.html @@ -40,6 +40,14 @@ {% endif %} <kbd>c</kbd> change column sorting </p> + <p class="keyhelp"> + <kbd>[</kbd> + <kbd>]</kbd> + prev/next file + </p> + <p class="keyhelp"> + <kbd>?</kbd> show/hide this help + </p> </div> </div> </div> @@ -115,6 +123,15 @@ created at {{ time_stamp }} </p> </div> + <div style="display: none;"> + <p> + <a id="prevFileLink" class="nav" href="{{ final_html }}">first file</a> + <a id="nextFileLink" class="nav" href="{{ first_html }}">final file</a> + </p> + <button type="button" class="button_prev_file" data-shortcut="[">Previous file</button> + <button type="button" class="button_next_file" data-shortcut="]">Next file</button> + <button type="button" class="button_show_hide_help" data-shortcut="?">Show/hide keyboard shortcuts</button> + </div> </footer> </body> |