Map builtin

2024-12-26 04:53:34 +00:00 · 2020-02-27 18:37:25 +01:00 · 2020-02-27 18:37:25 +01:00 · 873156640d
commit 873156640d
parent 00fc17272d
1 changed files with 6 additions and 0 deletions
--- a/editors/code/package.json
+++ b/editors/code/package.json
@ -433,6 +433,12 @@
                "scope": [
                    "keyword.other.unsafe"
                ]
+            },
+            {
+                "selector": "type.builtin",
+                "scope": [
+                    "support.type.builtin"
+                ]
            }
        ]
    }