@@ -16,17 +16,18 @@ # Comments begin with a '#' and finish at the end of the line - match: '^#.*' scope: comment # Error message - - match: '(?<= )#[^|]+' + - match: '(?<= )# ' scope: string.message push: + - meta_scope: string.message - match: '\\-?[0-9]+' - scope: string.message.escape + scope: string.message.esc - match: '\| ?https?://[\w./%?&=#+-]+' - scope: string.other + scope: string.message.url - match: $ pop: true # Numbers - match: '\b(-)?[0-9.]+\b' @@ -87,10 +88,15 @@ - match: '/(\w+)/' scope: rule.actionoption captures: 1: rule.optionname + - match: '!!(.+)¡¡' + scope: rule.antipattern + captures: + 1: rule.antipattern.token + # Definitions and options - match: '^OPT(?:GROUP|LANG|PRIORITY)/|^OPT(?:SOFTWARE|COLORTHEME):|^COLOR/' scope: options.command - match: '^OPT(?:LABEL|COLOR|)/'