RFR: 8348282: Add option for syntax highlighting in javadoc snippets [v4]

[Hannes Wallnöfer]

On Thu, 24 Apr 2025 15:22:47 GMT, Nizar Benalla <nbenalla at openjdk.org> wrote:

> I wonder if we can push for the conversion of some `<blockquore><pre>` to `@snippet` so that we can benefit more from this new feature. I checked some older classes and the use of `<blockquore><pre>` is still widespread.

`<pre><code>` is supported by syntax highlighting, so the simplest way to fix `<blockquote><pre>` would be to add a `<code>` element or `{@code}` tag.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/24417#issuecomment-2830241236