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

Wed Oct 27 17:34:12 UTC 2021

On Wed, 27 Oct 2021 17:15:23 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Hannes Wallnöfer has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Update copyright years
>
> 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.

As you know, the relevant issue was created some time ago: JDK-8275788.

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

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