On Tue, 2 Nov 2021 18:54:48 GMT, Hannes Wallnöfer wrote:
>> Please review a change to add a nested `` element for snippet tags as
>> well as HTML attributes for the snippet's `id` and `lang` attributes. The
>> change is quite simple, I did however encounter some gotchas. Below is a
>> short li
> Please review a change to add a nested `` element for snippet tags as
> well as HTML attributes for the snippet's `id` and `lang` attributes. The
> change is quite simple, I did however encounter some gotchas. Below is a
> short list of notes to explain some aspects of the change.
>
> - Both
> Please review a change to add a nested `` element for snippet tags as
> well as HTML attributes for the snippet's `id` and `lang` attributes. The
> change is quite simple, I did however encounter some gotchas. Below is a
> short list of notes to explain some aspects of the change.
>
> - Both
On Tue, 19 Oct 2021 13:51:03 GMT, Hannes Wallnöfer 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/
