On Mon, 18 Aug 2025 20:19:29 GMT, Michael Strauß <mstra...@openjdk.org> wrote:
>> They were added in JDK 23, which we can use. I don't know if there's >> anything special to discuss. The JEP gives standard usage examples, which >> I've followed, so there's no "feature abuse" here either. > > Well, they look very different from the other style. Usually matters of style > are settled once in a style guide, which we don't have. But I think we should > at least consciously agree that we're fine with having two different styles > of documentation in the same project. Personally, I value uniformity of style > more than the (little) added value that markdown comments bring. +1 @mstr2 .. The markdown style is quite different than traditional HTML base style. With increased use of markdown, the comments will look very different. We should keep the uniformity, unless we want to use any feature from markdown style that is not available in traditional style. ------------- PR Review Comment: https://git.openjdk.org/jfx/pull/1873#discussion_r2299889293
