diff options
| author |  Calvin Rose <calsrose@gmail.com> | 2020-04-05 07:09:53 -0500 |
|---|---|---|
| committer | Calvin Rose <calsrose@gmail.com> | 2020-04-05 07:09:53 -0500 |
| commit | 87ecdb811229f188ab1c832fef869587e49196df (patch) | |
| tree | cfcf904ee50310429a07934e7d88802f61e85877 /tools | |
| parent | Update changelog and bump version to dev version. (diff) | |
Change \UXXXXXXXX -> \UXXXXXX and check codepoint max.
No need to add two extra leading zeros, as the max unicode
codepoint is 0x10FFFF.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/tm_lang_gen.janet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/tm_lang_gen.janet b/tools/tm_lang_gen.janet index f19a23b8..32fcf729 100644 --- a/tools/tm_lang_gen.janet +++ b/tools/tm_lang_gen.janet @@ -308,7 +308,7 @@ <array> <dict> <key>match</key> - <string>(\\[nevr0zft"\\']|\\x[0-9a-fA-F]{2}|\\u[0-9a-fA-F]{4}|\\U[0-9a-fA-F]{8})</string> + <string>(\\[nevr0zft"\\']|\\x[0-9a-fA-F]{2}|\\u[0-9a-fA-F]{4}|\\U[0-9a-fA-F]{6})</string> <key>name</key> <string>constant.character.escape.janet</string> </dict> |