On Fri, 13 Jan 2023 17:08:01 GMT, Sean Mullan <mul...@openjdk.org> wrote:
>> This might also be a good opportunity to use the new javadoc @snippet tag >> (see [JEP 413](url)) which I think has some features to handle the >> indentation in a consistent manner. > > Oh, cool, missed that. > > Eirik, this issue is currently assigned to @haimaychao, but we can still > accept your contribution. Have you or your company signed the OCA? Indented the code as suggested to make it easier to separate from the snippet syntax. @seanjmullan This is already using the snippet tag :-) ------------- PR: https://git.openjdk.org/jdk/pull/11992