remove extra state push

2025-02-25 18:55:37 -06:00 · 2017-10-17 11:50:33 +09:00
parent eb4e71e2c6
commit cc1e69ace3
1 changed files with 1 additions and 2 deletions
--- a/public/app/plugins/datasource/prometheus/mode-prometheus.js
+++ b/public/app/plugins/datasource/prometheus/mode-prometheus.js
@@ -75,8 +75,7 @@ var PrometheusHighlightRules = function() {
      regex : '"[^"]*"|\'[^\']*\''
    }, {
      token : "punctuation.operator",
-      regex : ",",
-      push  : 'start-label-matcher'
+      regex : ","
    }, {
      token : "paren.rparen",
      regex : "}",