Improve highlighting

This commit is contained in:
2018-08-30 12:07:12 +02:00
parent 8ccda99104
commit b03b4165be
2 changed files with 20 additions and 1 deletions

View File

@ -16,8 +16,15 @@ scopes:
'"Resources"': 'keyword.control'
'string_literal': 'string.quoted.double'
'numeric_literal': 'constant.numeric.decimal'
'unit_literal': 'constant.numeric.decimal'
'function_application > identifier': 'entity.name.function'
'atomic_predicate': 'entity.name.function'
'record_expr > identifier:nth-child(0)': 'variable'
'record_expr > identifier:nth-child(2)': 'variable.other.member'
'scalar_expr > identifier': 'variable'
'prototype > identifier': 'variable'
'resource > identifier': 'variable'
'modifier': 'keyword.control'
folds: [
@ -33,6 +40,18 @@ folds: [
type: 'act'
}
{
type: 'rule'
}
{
type: 'prototypes'
}
{
type: 'resources'
}
]
comments: