On Tue, 23 Nov 2021 12:56:14 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> > It would be nice to define/support the markup characteristics of "plain > > text" snippets, where "plain text" might be a stand-in for commands, or > > stack traces, or other less common formats. > > If we are to do it, we should discuss and implement it quickly, before RDP 1. > We would still be able to do it later, before RC, but only with approval. > Here are some questions to discuss. > > 1. What `lang` identifier(s) should plain text use? > 2. What comment rules and markup marker(s) should plain text use? 1. Either "text" or _none_ 2. Right now, it defaults to `//` which is OK, but `#` might be better. Maybe too late for now, allow a new attribute to specify the markup "prefix" (`//`, `#`, `!`, etc) ------------- PR: https://git.openjdk.java.net/jdk/pull/6397