RFR: JDK-8275406: Add copy-to-clipboard feature to snippet UI [v2]

[Jonathan Gibbons]

On Wed, 20 Oct 2021 13:46:43 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

>> Please review a change to add a copy-to-clipboard feature to snippets. I took special care to make the feature usable on mobile devices. Sample output can be viewed and tested here:
>> 
>> http://cr.openjdk.java.net/~hannesw/8275406/api.00/java.base/java/lang/Throwable.html#printStackTrace()
>
> Hannes Wallnöfer has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Update copyright years

Marked as reviewed by jjg (Reviewer).

src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/TagletWriterImpl.java line 396:

> 394:                         .put(HtmlAttr.DATA_COPIED, copiedText));
> 395:         HtmlTree pre = new HtmlTree(TagName.PRE)
> 396:                 .setStyle(HtmlStyle.snippet);

This should be updated (later) to follow the HTML recommendations.

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

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