Integrated: JDK-8305958: Use links instead of buttons for auto-generated header links

Thu May 25 07:33:10 UTC 2023

On Fri, 5 May 2023 13:42:22 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> Please review a change to use plain HTML links instead of buttons to provide the URL to page section/heading anchors. Special care was taken to retain the accessibility features added in JDK-8299718, so section links can be reached and activated by keyboard and have an `aria-label` attribute. The generated documentation was tested on a range of desktop and mobile browsers (Firefox, Chrome on Mac OS and Linux, Safari on Mac OS and iOS, Chrome on Android) and can be viewed here:
> 
> https://cr.openjdk.org/~hannesw/8305958/api.00/index.html

This pull request has now been integrated.

Changeset: 3f4abff5
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/3f4abff59cfe3c5055f086cba969371a9812170f
Stats:     100 lines in 9 files changed: 58 ins; 32 del; 10 mod

8305958: Use links instead of buttons for auto-generated header links

Reviewed-by: jjg

-------------

PR: https://git.openjdk.org/jdk/pull/13831