eric7/DebugClients/Python/coverage/htmlfiles/index.html

branch
eric7
changeset 9099
0e511e0e94a3
parent 8775
0802ae193343
--- 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> &nbsp; change column sorting
+                        <kbd>c</kbd>
+                        &nbsp; change column sorting
+                    </p>
+                    <p>
+                        <kbd>[</kbd>
+                        <kbd>]</kbd>
+                        &nbsp; prev/next file
+                    </p>
+                    <p>
+                        <kbd>?</kbd> &nbsp; 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>

eric ide

mercurial