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

2022-05-27 Thread Pavel Rappo
On Fri, 27 May 2022 07:16:23 GMT, Hannes Wallnöfer wrote: >> 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

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

2022-05-27 Thread Hannes Wallnöfer
> 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 `` as an example): > > - `` (generated by javadoc) > - ``