22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
# Error message
- match: '(?<= )&& '
scope: string.message
push:
- meta_scope: string.message
- match: '\\-?[0-9]+'
scope: string.message.esc
- match: '\| ?https?://[\w./%?&=#+-]+'
scope: string.message.url
- match: $
pop: true
# Numbers
- match: '\b(-)?[0-9.]+\b'
scope: constant.numeric
|
|
|
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
# Error message
- match: '(?<= )&& '
scope: string.message
push:
- meta_scope: string.message
- match: '\\-?[0-9]+'
scope: string.message.esc
- match: '\| ?https?://[\w./%?&=#+-:]+'
scope: string.message.url
- match: $
pop: true
# Numbers
- match: '\b(-)?[0-9.]+\b'
scope: constant.numeric
|