Prometheus: Fix performance issue in editor when too many ids (#36176)

2021-06-30 21:28:18 +02:00
parent 3b4916853c
commit 8aeb1cc030
1 changed files with 4 additions and 0 deletions
@@ -436,6 +436,10 @@ const tokenizer: Grammar = {
      },
    },
  ],
+  idList: {
+    pattern: /\d+(\|\d+)+/,
+    alias: 'number',
+  },
  number: /\b-?\d+((\.\d*)?([eE][+-]?\d+)?)?\b/,
  operator: new RegExp(`/[-+*/=%^~]|&&?|\\|?\\||!=?|<(?:=>?|<|>)?|>[>=]?|\\b(?:${OPERATORS.join('|')})\\b`, 'i'),
  punctuation: /[{};()`,.]/,