diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2023-10-28 15:25:34 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2023-10-28 15:25:34 +0200 |
| commit | 4ed241343f6babdb0b954c683c1408345bbeed30 (patch) | |
| tree | a8ca0308ae3d261f6a2de678de6c476c5315af9f /src/grammar.json | |
| parent | 2483cbddd9e7a02296bb928462ba7eb22551752d (diff) | |
Support unicode whitespacev1.0.2
Diffstat (limited to 'src/grammar.json')
| -rw-r--r-- | src/grammar.json | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/grammar.json b/src/grammar.json index 150b1a5..ae2f4ab 100644 --- a/src/grammar.json +++ b/src/grammar.json @@ -180,11 +180,11 @@ }, "class_shorthand": { "type": "PATTERN", - "value": "\\.[^\\s]+" + "value": "\\.[^\\p{White_Space}]+" }, "id_shorthand": { "type": "PATTERN", - "value": "#[^\\s]+" + "value": "#[^\\p{White_Space}]+" }, "attribute_name": { "type": "PATTERN", @@ -193,12 +193,16 @@ "attribute_value": { "type": "PATTERN", "value": "\"(\\\\.|[^\"\\\\])*\"" + }, + "_S": { + "type": "PATTERN", + "value": "\\p{White_Space}*" } }, "extras": [ { - "type": "PATTERN", - "value": "\\s" + "type": "SYMBOL", + "name": "_S" } ], "conflicts": [], |