diff options
author | Dusty Pomerleau <[email protected]> | 2020-10-21 00:38:31 +0100 |
---|---|---|
committer | Dusty Pomerleau <[email protected]> | 2020-10-21 00:38:31 +0100 |
commit | 93eeafc79feaf974d5ef2310e2e4be414ff0bf0b (patch) | |
tree | 39ab750055297dc690bec1ec6e8fe60301efb991 /editors/code | |
parent | 729a832a76674366942c325bfb87d1d8650689f4 (diff) |
fix: require matching hash quantities for raw strings
Diffstat (limited to 'editors/code')
-rw-r--r-- | editors/code/rust.tmGrammar.json | 25 |
1 files changed, 3 insertions, 22 deletions
diff --git a/editors/code/rust.tmGrammar.json b/editors/code/rust.tmGrammar.json index 18fad6288..3be565195 100644 --- a/editors/code/rust.tmGrammar.json +++ b/editors/code/rust.tmGrammar.json | |||
@@ -958,28 +958,9 @@ | |||
958 | ] | 958 | ] |
959 | }, | 959 | }, |
960 | { | 960 | { |
961 | "comment": "double-quoted raw strings and raw byte strings (no hash)", | 961 | "comment": "double-quoted raw strings and raw byte strings", |
962 | "name": "string.quoted.double.rust", | 962 | "name": "string.quoted.double.rust", |
963 | "begin": "(b?r)(\")", | 963 | "begin": "(b?r)(#*)(\")", |
964 | "beginCaptures": { | ||
965 | "1": { | ||
966 | "name": "string.quoted.byte.raw.rust" | ||
967 | }, | ||
968 | "2": { | ||
969 | "name": "punctuation.definition.string.rust" | ||
970 | } | ||
971 | }, | ||
972 | "end": "\"", | ||
973 | "endCaptures": { | ||
974 | "0": { | ||
975 | "name": "punctuation.definition.string.rust" | ||
976 | } | ||
977 | } | ||
978 | }, | ||
979 | { | ||
980 | "comment": "double-quoted raw strings and raw byte strings (with hash)", | ||
981 | "name": "string.quoted.double.rust", | ||
982 | "begin": "(b?r)(#+)(\")", | ||
983 | "beginCaptures": { | 964 | "beginCaptures": { |
984 | "1": { | 965 | "1": { |
985 | "name": "string.quoted.byte.raw.rust" | 966 | "name": "string.quoted.byte.raw.rust" |
@@ -991,7 +972,7 @@ | |||
991 | "name": "punctuation.definition.string.rust" | 972 | "name": "punctuation.definition.string.rust" |
992 | } | 973 | } |
993 | }, | 974 | }, |
994 | "end": "(\")(#+)", | 975 | "end": "(\")(\\2)", |
995 | "endCaptures": { | 976 | "endCaptures": { |
996 | "1": { | 977 | "1": { |
997 | "name": "punctuation.definition.string.rust" | 978 | "name": "punctuation.definition.string.rust" |