remove _ in json numeric literals

2024-03-12 20:05:36 +01:00 · 2024-03-12 20:05:36 +01:00 · 8f43531b47
parent 34e20b13b0
commit 8f43531b47
1 changed files with 1 additions and 1 deletions
--- a/static/syntax/json.json
+++ b/static/syntax/json.json
@ -1,7 +1,7 @@
 {
    "patterns": [
        { "regex": "[a-zA-Z_][a-zA-Z0-9_]*", "is": "error" },
-        { "regex": "[0-9_]+(\\.[0-9_]*([eE][-+]?[0-9_]+)?)?", "is": "literal" },
+        { "regex": "[0-9]+(\\.[0-9]*([eE][-+]?[0-9]+)?)?", "is": "literal" },
        {
            "regex": "\"(\\\\\"|[^\"])*\"(:)",
            "is": { "default": "keyword2", "captures": ["keyword2", "punct"] }