On Fri, 3 Feb 2023 18:57:06 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Note that all the proposed escape sequences are context-sensitive, and are >> only enabled in appropriate circumstances. > > updated code, comments and spec. > (FWIW, @jonathan-gibbons, note that the caret positions differ: the former > points to / while the latter points to @. ) I see the problem and think I understand the fix, but it is unrelated to the work here. I'll defer this to a separate JBS issue and PR. ------------- PR: https://git.openjdk.org/jdk/pull/12372