diff options
-rw-r--r-- | editors/code/package.json | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/editors/code/package.json b/editors/code/package.json index 36cbf1cba..5effa3e17 100644 --- a/editors/code/package.json +++ b/editors/code/package.json | |||
@@ -433,6 +433,12 @@ | |||
433 | "scope": [ | 433 | "scope": [ |
434 | "keyword.other.unsafe" | 434 | "keyword.other.unsafe" |
435 | ] | 435 | ] |
436 | }, | ||
437 | { | ||
438 | "selector": "type.builtin", | ||
439 | "scope": [ | ||
440 | "support.type.builtin" | ||
441 | ] | ||
436 | } | 442 | } |
437 | ] | 443 | ] |
438 | } | 444 | } |