fix: previous page shortcut works in index page. #1765

CHANGES.rst

@@ -36,6 +36,9 @@ Unreleased
   - The index page is always sorted by one of its columns, with clearer
     indications of the sorting.
 
+  - The "previous file" shortcut key didn't work on the index page, but now it
+    does, fixing `issue 1765`_.
+
 - The debug output showing which configuration files were tried now shows
   absolute paths to help diagnose problems where settings aren't taking effect,
   and is renamed from "attempted_config_files" to the more logical
@@ -44,6 +47,7 @@ Unreleased
 - Python 3.13.0a5 is supported.
 
 .. _issue 1384: https://github.com/nedbat/coveragepy/issues/1384
+.. _issue 1765: https://github.com/nedbat/coveragepy/issues/1765
 
 
 .. scriv-start-here

CONTRIBUTORS.txt

@@ -102,6 +102,7 @@ J. M. F. Tsang
 JT Olds
 Jacqueline Lee
 Jakub Wilk
+James Valleroy
 Jan Rusak
 Janakarajan Natarajan
 Jerin Peter George

coverage/htmlfiles/index.html

@@ -152,8 +152,8 @@ <h2>
         </p>
     </div>
     <aside class="hidden">
-        <a id="prevFileLink" class="nav" href="{{ final_html }}"/>
-        <a id="nextFileLink" class="nav" href="{{ first_html }}"/>
+        <a id="prevFileLink" class="nav" href="{{ final_html }}"></a>
+        <a id="nextFileLink" class="nav" href="{{ first_html }}"></a>
         <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="?"/>