summaryrefslogtreecommitdiff
path: root/coverage/htmlfiles/pyfile.html
diff options
context:
space:
mode:
Diffstat (limited to 'coverage/htmlfiles/pyfile.html')
-rw-r--r--coverage/htmlfiles/pyfile.html22
1 files changed, 21 insertions, 1 deletions
diff --git a/coverage/htmlfiles/pyfile.html b/coverage/htmlfiles/pyfile.html
index fdad9d4e..7bd56d42 100644
--- a/coverage/htmlfiles/pyfile.html
+++ b/coverage/htmlfiles/pyfile.html
@@ -52,6 +52,17 @@
<p class="keyhelp">
<kbd>1</kbd> &nbsp; (one) first highlighted chunk
</p>
+ <p class="keyhelp">
+ <kbd>[</kbd>
+ <kbd>]</kbd>
+ &nbsp; prev/next file
+ </p>
+ <p class="keyhelp">
+ <kbd>u</kbd> &nbsp; back to the index
+ </p>
+ <p class="keyhelp">
+ <kbd>?</kbd> &nbsp; show/hide this help
+ </p>
</div>
</div>
</div>
@@ -71,6 +82,10 @@
<button type="button" class="button_prev_chunk" data-shortcut="k">Previous highlighted chunk</button>
<button type="button" class="button_top_of_page" data-shortcut="0">Goto top of page</button>
<button type="button" class="button_first_chunk" data-shortcut="1">Goto first highlighted chunk</button>
+ <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_to_index" data-shortcut="u">Back to the index</button>
+ <button type="button" class="button_show_hide_help" data-shortcut="?">Show/hide keyboard shortcuts</button>
</div>
</div>
</header>
@@ -110,7 +125,12 @@
<footer>
<div class="content">
<p>
- <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="{{__url__}}">coverage.py v{{__version__}}</a>,
+ <a id="prevFileLink" class="nav" href="{{ prev_html }}">&#xab; prev file</a> &nbsp; &nbsp;
+ <a id="indexLink" class="nav" href="index.html">&Hat; index</a> &nbsp; &nbsp;
+ <a id="nextFileLink" class="nav" href="{{ next_html }}">&#xbb; next file</a>
+ </p>
+ <p>
+ <a class="nav" href="{{__url__}}">coverage.py v{{__version__}}</a>,
created at {{ time_stamp }}
</p>
</div>