RFR: 8348282: Add option for syntax highlighting in javadoc snippets

[Andrey Turbanov]

On Thu, 3 Apr 2025 14:48:58 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> Please review a change to add a `javadoc` option to enable syntax highlighting for code fragments in snippets and  `<pre><code>` tags. The new `--syntax-highlight` option uses the [highlight.js] JavaScript library and supports Java, Properties, XML, HTML and JSON. The option is enabled in the JDK API docs target, [generated output is available here](https://cr.openjdk.org/~hannesw/8348282/api.00/index.html).

src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlOptions.java line 433:

> 431:                 new Option(resources, "--syntax-highlight") {
> 432:                     @Override
> 433:                     public boolean process(String opt,  List<String> args) {

Suggestion:

                    public boolean process(String opt, List<String> args) {

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

PR Review Comment: https://git.openjdk.org/jdk/pull/24417#discussion_r2029915493