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
> 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)
> - ``