71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
# Graph rules option
- match: '^__(\w+)(![0-9]|)__'
scope: rule.options
captures:
1: rule.rulename2
2: rule.priority
# Definitions and options
- match: '^OPT(?:GROUP|LANG|PRIORITY)/|^OPTSOFTWARE:'
scope: options.command
- match: '^OPT(?:LABEL|)/'
scope: options.parameter
|
>
>
>
>
|
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
# Graph rules option
- match: '^__(\w+)(![0-9]|)__'
scope: rule.options
captures:
1: rule.rulename2
2: rule.priority
- match: '/(\w+)/'
scope: rule.options
captures:
1: rule.optionname
# Definitions and options
- match: '^OPT(?:GROUP|LANG|PRIORITY)/|^OPTSOFTWARE:'
scope: options.command
- match: '^OPT(?:LABEL|)/'
scope: options.parameter
|