On Fri, 2 Feb 2024 14:02:28 GMT, Jan Lahoda <jlah...@openjdk.org> wrote:
> This is an attempt to add Markdown support in documentation comments to
> JShell.
>
> It works by converting the Markdown text to HTML during the process of
> resolving `{@inheritDoc}` tags.
This pull request has now been integrated.
Changeset: 8d3de45f
Author: Jan Lahoda <jlah...@openjdk.org>
URL:
https://git.openjdk.org/jdk/commit/8d3de45f4dfd60dc4e2f210cb0c085fcf6efb8e2
Stats: 2056 lines in 9 files changed: 1209 ins; 842 del; 5 mod
8325168: JShell should support Markdown comments
Reviewed-by: jjg
-------------
PR: https://git.openjdk.org/jdk/pull/17686
