diff options
author | Dusty Pomerleau <[email protected]> | 2020-10-16 01:08:59 +0100 |
---|---|---|
committer | Dusty Pomerleau <[email protected]> | 2020-10-16 01:08:59 +0100 |
commit | c2335d0cb2aee42ae70e94c005cdb5d2ae418cd1 (patch) | |
tree | cc3344bdd7467ef42b9cbad8b16582c64d9fe278 /editors/code | |
parent | 0d45802d671f94cb768b93a64882733396cfbe2d (diff) |
fix: prevent early termination of raw strings with hash
Diffstat (limited to 'editors/code')
-rw-r--r-- | editors/code/rust.tmGrammar.json | 25 |
1 files changed, 22 insertions, 3 deletions
diff --git a/editors/code/rust.tmGrammar.json b/editors/code/rust.tmGrammar.json index 3ddd14f9c..66c8843f4 100644 --- a/editors/code/rust.tmGrammar.json +++ b/editors/code/rust.tmGrammar.json | |||
@@ -966,9 +966,28 @@ | |||
966 | ] | 966 | ] |
967 | }, | 967 | }, |
968 | { | 968 | { |
969 | "comment": "double-quoted raw strings and raw byte strings", | 969 | "comment": "double-quoted raw strings and raw byte strings (no hash)", |
970 | "name": "string.quoted.double.rust", | 970 | "name": "string.quoted.double.rust", |
971 | "begin": "(b?r)(#*)(\")", | 971 | "begin": "(b?r)(\")", |
972 | "beginCaptures": { | ||
973 | "1": { | ||
974 | "name": "string.quoted.byte.raw.rust" | ||
975 | }, | ||
976 | "2": { | ||
977 | "name": "punctuation.definition.string.rust" | ||
978 | } | ||
979 | }, | ||
980 | "end": "\"", | ||
981 | "endCaptures": { | ||
982 | "0": { | ||
983 | "name": "punctuation.definition.string.rust" | ||
984 | } | ||
985 | } | ||
986 | }, | ||
987 | { | ||
988 | "comment": "double-quoted raw strings and raw byte strings (with hash)", | ||
989 | "name": "string.quoted.double.rust", | ||
990 | "begin": "(b?r)(#+)(\")", | ||
972 | "beginCaptures": { | 991 | "beginCaptures": { |
973 | "1": { | 992 | "1": { |
974 | "name": "string.quoted.byte.raw.rust" | 993 | "name": "string.quoted.byte.raw.rust" |
@@ -980,7 +999,7 @@ | |||
980 | "name": "punctuation.definition.string.rust" | 999 | "name": "punctuation.definition.string.rust" |
981 | } | 1000 | } |
982 | }, | 1001 | }, |
983 | "end": "(\")(#*)", | 1002 | "end": "(\")(#+)", |
984 | "endCaptures": { | 1003 | "endCaptures": { |
985 | "1": { | 1004 | "1": { |
986 | "name": "punctuation.definition.string.rust" | 1005 | "name": "punctuation.definition.string.rust" |