Remove unnecessary escape chars

ajaxorg · May 5, 2022 · 843c017 · 843c017
1 parent 461c020
commit 843c017
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib/ace/mode/robot_highlight_rules.js b/lib/ace/mode/robot_highlight_rules.js
@@ -114,7 +114,7 @@ var RobotHighlightRules = function() {
             }]
         }, {
             token: "keyword.control.robot",
-            regex: /^[^\s\t\*$\|]+|(?=^\|)\s+[^\s\t\*$\|]+/,
+            regex: /^[^\s\t*$|]+|(?=^\|)\s+[^\s\t*$|]+/,
             push: [{
                 token: "keyword.control.robot",
                 regex: /(?=\s{2})|\t|$|\s+(?=\|)/,
@@ -131,7 +131,7 @@ var RobotHighlightRules = function() {
             caseInsensitive: true
         }, {
             token: "storage.type.function",
-            regex: /^(?:\s{2,}\s+)[^ \t\*$@&%\[.\|]+/,
+            regex: /^(?:\s{2,}\s+)[^ \t*$@&%[.|]+/,
             push: [{
                 token: "storage.type.function",
                 regex: /(?=\s{2})|\t|$|\s+(?=\|)/,