diff options
author | Aliaksei Budavei <32549825+zzzyxwvut@users.noreply.github.com> | 2024-03-03 17:51:01 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-03 15:51:01 +0100 |
commit | b3030b653bbdc08c91138001d1987d804f6ebf46 (patch) | |
tree | 058821e442829afbdd71dd4f778857bfc6abcdee /.github | |
parent | e93afc2e612647e79e1082096ffd6c61e01ac691 (diff) |
runtime(java): Recognise text blocks (#14128)
Also, accept as valid the space escape sequence `\s`.
Also, consistently use the claimed `javaDebug` prefix for
syntax group definitions kept under `g:java_highlight_debug`.
Since `javaStringError` is commented out for its generality,
let's comment out `javaDebugStringError`, its copy, as well.
References:
https://openjdk.org/jeps/378
https://docs.oracle.com/javase/specs/jls/se17/html/jls-3.html#jls-3.10.7
Closes #10910.
Signed-off-by: Aliaksei Budavei <0x000c70@gmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions