diff options
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> |