--- a/eric7/DebugClients/Python/coverage/htmlfiles/index.html Tue May 24 10:22:46 2022 +0200 +++ b/eric7/DebugClients/Python/coverage/htmlfiles/index.html Tue May 24 11:00:52 2022 +0200 @@ -21,15 +21,15 @@ <span class="pc_cov">{{totals.pc_covered_str}}%</span> </h1> - <div id="help_panel_wrapper"> + <aside id="help_panel_wrapper"> <input id="help_panel_state" type="checkbox"> <label for="help_panel_state"> <img id="keyboard_icon" src="keybd_closed.png" alt="Show/hide keyboard shortcuts" /> </label> <div id="help_panel"> <p class="legend">Shortcuts on this page</p> - <div> - <p class="keyhelp"> + <div class="keyhelp"> + <p> <kbd>n</kbd> <kbd>s</kbd> <kbd>m</kbd> @@ -38,15 +38,29 @@ <kbd>b</kbd> <kbd>p</kbd> {% endif %} - <kbd>c</kbd> change column sorting + <kbd>c</kbd> + change column sorting + </p> + <p> + <kbd>[</kbd> + <kbd>]</kbd> + prev/next file + </p> + <p> + <kbd>?</kbd> show/hide this help </p> </div> </div> - </div> + </aside> <form id="filter_container"> <input id="filter" type="text" value="" placeholder="filter..." /> </form> + + <p class="text"> + <a class="nav" href="{{__url__}}">coverage.py v{{__version__}}</a>, + created at {{ time_stamp }} + </p> </div> </header> @@ -115,6 +129,13 @@ created at {{ time_stamp }} </p> </div> + <aside class="hidden"> + <a id="prevFileLink" class="nav" href="{{ final_html }}"/> + <a id="nextFileLink" class="nav" href="{{ first_html }}"/> + <button type="button" class="button_prev_file" data-shortcut="["/> + <button type="button" class="button_next_file" data-shortcut="]"/> + <button type="button" class="button_show_hide_help" data-shortcut="?"/> + </aside> </footer> </body>