diff options
author | Elias Aebi <353-eyelash@users.noreply.gitlab.gnome.org> | 2022-12-18 18:07:17 +0100 |
---|---|---|
committer | Christian Hergert <christian@hergert.me> | 2022-12-22 22:40:39 +0000 |
commit | a2308547d429e2157b5296d5a3950ca33327041a (patch) | |
tree | 33b2bf1725b7578ff32a6d5124c83b21831459ff | |
parent | bb3891c3104a028cb272038de46c2e27cfbae820 (diff) | |
download | gtksourceview-a2308547d429e2157b5296d5a3950ca33327041a.tar.gz |
java.lang: fix escaped characters
-rw-r--r-- | data/language-specs/java.lang | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/data/language-specs/java.lang b/data/language-specs/java.lang index ff3e341e..de6b8b49 100644 --- a/data/language-specs/java.lang +++ b/data/language-specs/java.lang @@ -53,8 +53,8 @@ <define-regex id="escaped-character" extended="true"> \\( # leading backslash [\\\"\'nrbtf] | # escaped character - [0-9]{1,3} | # latin encoded char - u[0-9]{1,4} # unicode char + [0-7]{1,3} | # latin encoded char + u[0-9a-fA-F]{4} # unicode char ) </define-regex> |