Add "web" as extensionKind to extensions which support this

This commit is contained in:
Alex Dima 2020-07-23 16:22:28 +02:00
parent 731f9c2563
commit 2fa41fb23e
No known key found for this signature in database
GPG key ID: 6E58D7B045760DA0
4 changed files with 11 additions and 6 deletions

View file

@ -4,7 +4,8 @@
"description": "%description%",
"extensionKind": [
"ui",
"workspace"
"workspace",
"web"
],
"version": "1.0.0",
"publisher": "vscode",

View file

@ -9,7 +9,7 @@
"activationEvents": ["onLanguage:python"],
"main": "./out/pythonMain",
"browser": "./dist/browser/pythonMain",
"extensionKind": [ "ui", "workspace" ],
"extensionKind": [ "ui", "workspace", "web" ],
"contributes": {
"languages": [{
"id": "python",

View file

@ -97,11 +97,13 @@ const extensionKindSchema: IJSONSchema = {
type: 'string',
enum: [
'ui',
'workspace'
'workspace',
'web'
],
enumDescriptions: [
localize('ui', "UI extension kind. In a remote window, such extensions are enabled only when available on the local machine."),
localize('workspace', "Workspace extension kind. In a remote window, such extensions are enabled only when available on the remote.")
localize('workspace', "Workspace extension kind. In a remote window, such extensions are enabled only when available on the remote."),
localize('web', "Web worker extension kind. Such an extension can execute in a web worker extension host.")
],
};

View file

@ -150,11 +150,13 @@ const extensionKindSchema: IJSONSchema = {
type: 'string',
enum: [
'ui',
'workspace'
'workspace',
'web'
],
enumDescriptions: [
nls.localize('ui', "UI extension kind. In a remote window, such extensions are enabled only when available on the local machine."),
nls.localize('workspace', "Workspace extension kind. In a remote window, such extensions are enabled only when available on the remote.")
nls.localize('workspace', "Workspace extension kind. In a remote window, such extensions are enabled only when available on the remote."),
nls.localize('web', "Web worker extension kind. Such an extension can execute in a web worker extension host.")
],
};