On Fri, 12 May 2023 16:17:38 GMT, Brian Burkhalter <b...@openjdk.org> wrote:
> Replace `<pre>{@code ...}</pre>` patterns and the like with `{@snippet > lang=java : ...}`. src/java.base/share/classes/java/io/Console.java line 124: > 122: * if (con != null) { > 123: * Scanner sc = new Scanner(con.reader()); > 124: * ... I'm not sure how you feel about this, but when I have been converting `<pre>` blocks to `@snippet`, I usually try to get rid of non code. Since snippet allows user's to copy the example code, I feel like it's redudant to leave in non code, since they will likely delete it anyways. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/13957#discussion_r1192635740