On Tue, 28 May 2024 20:01:46 GMT, Alan Bateman <al...@openjdk.org> wrote:
> > OK. I was just trying to honor the apparent intent to make the comment > > stand out more than just a plain `//` comment, but I have no strong > > feelings against reducing `///` to `//` > > In this case I would reduce it to '//' but others will have different > opinions of course. What about changing `///` to `//---` to give slightly more prominence to these comments, over plain old `//` comments. The dashes give a small sense of a horizontal rule, to delimit sections of code. (FWIW, I have locally edited `//|` to `//` and such comments do not stand out beside existing use of `//`.) ------------- PR Comment: https://git.openjdk.org/jdk/pull/19130#issuecomment-2136042843
