On Fri, 3 Nov 2023 17:30:00 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Please review this PR to fix an internal error caused by (malfunctioning > diagnostics for) spurious markup in hybrid and external snippets. > > Spurious markup resembles snippet markup, but isn't one. In particular, > spurious markup has no effect on snippet processing and, if appears in the > displayed region, is shown as is. This pull request has now been integrated. Changeset: c9077b8b Author: Pavel Rappo <pra...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/c9077b8b816d2efe4559c71341228a8dc319604f Stats: 142 lines in 3 files changed: 133 ins; 0 del; 9 mod 8319339: Internal error on spurious markup in a hybrid snippet Reviewed-by: jjg ------------- PR: https://git.openjdk.org/jdk/pull/16501
