From 4fac276d25de0a64924a7ef2ba5384eb84687752 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Wed, 10 Jul 2024 18:28:04 +0200
Subject: [PATCH] add highlighting for ON_SUCCESS
---
syntaxes/rmchAddOn.tmLanguage.json | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/syntaxes/rmchAddOn.tmLanguage.json b/syntaxes/rmchAddOn.tmLanguage.json
index a395678..32eb1d1 100644
--- a/syntaxes/rmchAddOn.tmLanguage.json
+++ b/syntaxes/rmchAddOn.tmLanguage.json
@@ -161,7 +161,7 @@
"keyword_control": {
"patterns": [
{
- "match": "(?x)\n\\b(skip|BE|DO|VARIANT|ELSIF|THEN|ELSE|EITHER|CASE|SELECT\n|ASSERT|WHERE|WHEN|OR|OF|IN|BODY|GOAL|DEPENDS_ON_RULE|DEPENDS_ON_COMPUTATION|ACTIVATION|REPLACES|ERROR_TYPES|CLASSIFICATION|RULEID|TAGS|BODY|EXPECT|ERROR_TYPE|COUNTEREXAMPLE|DEFINE|TYPE|DUMMY_VALUE|VALUE|PRECONDITION|POSTCONDITION)\\b",
+ "match": "(?x)\n\\b(skip|BE|DO|VARIANT|ELSIF|THEN|ELSE|EITHER|CASE|SELECT\n|ASSERT|WHERE|WHEN|OR|OF|IN|BODY|GOAL|DEPENDS_ON_RULE|DEPENDS_ON_COMPUTATION|ACTIVATION|REPLACES|ERROR_TYPES|CLASSIFICATION|RULEID|TAGS|BODY|EXPECT|ERROR_TYPE|ON_SUCCESS|COUNTEREXAMPLE|DEFINE|TYPE|DUMMY_VALUE|VALUE|PRECONDITION|POSTCONDITION)\\b",
"name": "keyword.control.rmchAddOn"
}
]
--
GitLab