RFR: JDK-8277420: Provide a way to copy the hyperlink to a doc element to the clipboard [v3]

Hannes Wallnöfer hannesw at openjdk.java.net
Fri May 27 07:16:23 UTC 2022


> This is a CSS/JavaScript only change to implement copy-to-clipboard functionality for all headers (`h1` - `h6`) that have an `id` attribute associated with them. The following element-attribute patterns are supported (using `<h2>` as an example):
> 
>  - `<section id="..."><h2>` (generated by javadoc)
>  - `<h2 id="...">` (commonly used)
>  - `<h2><a id="...">` (legacy)
> 
> The change includes a consolidation of the CSS styles used to render copy-to-clipboard buttons, of which we have now three kinds: for snippets, for the link on the search page, and for headers. There is now a base CSS class called "copy" that defines the styles shared by all copy-to-clipboard buttons, and additional CSS properties for the concrete "subclasses". 
> 
> API docs generated with this change can be viewed here (top level files and java.base module):
> http://cr.openjdk.java.net/~hannesw/8277420/api.03/

Hannes Wallnöfer has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains five additional commits since the last revision:

 - Update new snippet test for CSS changes
 - Merge branch 'master' into JDK-8277420
 - Fix jquery selector for anchor within header
 - Clean up copy-to-clipboard button styles
 - JDK-8277420: Provide a way to copy the hyperlink to a doc element to the clipboard

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/8817/files
  - new: https://git.openjdk.java.net/jdk/pull/8817/files/b84eb5d2..541f124d

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=8817&range=02
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=8817&range=01-02

  Stats: 40392 lines in 791 files changed: 9876 ins; 27972 del; 2544 mod
  Patch: https://git.openjdk.java.net/jdk/pull/8817.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/8817/head:pull/8817

PR: https://git.openjdk.java.net/jdk/pull/8817


More information about the javadoc-dev mailing list