Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/package.json')
| -rw-r--r-- | editors/code/package.json | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/editors/code/package.json b/editors/code/package.json index ffb5dd9079..6913841b3f 100644 --- a/editors/code/package.json +++ b/editors/code/package.json @@ -325,6 +325,15 @@ "items": { "type": "object", "properties": { + "platform": { + "type": [ + "null", + "string", + "array" + ], + "default": null, + "markdownDescription": "Platform(s) filter like \"win32\" or [\"linux\", \"win32\"]. See [process.platform](https://nodejs.org/api/process.html#processplatform) values." + }, "mask": { "type": "string", "description": "Runnable name mask" |