Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Web: the setting 'remote.extensionKind' is not available in the Web #90598

Closed
egamma opened this issue Feb 13, 2020 · 1 comment
Closed

Web: the setting 'remote.extensionKind' is not available in the Web #90598

egamma opened this issue Feb 13, 2020 · 1 comment
Assignees
Labels
bug Issue identified by VS Code Team member as probable bug extensions Issues concerning extensions verified Verification succeeded
Milestone

Comments

@egamma
Copy link
Member

egamma commented Feb 13, 2020

The screenshot below is from VSO, as you can see the setting remote.extensionKind is not known in the web version. The setting should also be available in the web version so that a user can configure the extensionKind for an extension, for example, to change a 'ui' extension into a 'workspace' extension.

image

@sandy081 sandy081 added bug Issue identified by VS Code Team member as probable bug extensions Issues concerning extensions labels Feb 13, 2020
@sandy081 sandy081 added this to the February 2020 milestone Feb 13, 2020
@rebornix rebornix added the verified Verification succeeded label Feb 27, 2020
@rebornix rebornix reopened this Feb 27, 2020
@rebornix
Copy link
Member

Verified in web self host.

@github-actions github-actions bot locked and limited conversation to collaborators Apr 13, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Issue identified by VS Code Team member as probable bug extensions Issues concerning extensions verified Verification succeeded
Projects
None yet
Development

No branches or pull requests

3 participants