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.

Sign up for GitHub

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

Jump to bottom

Custom editors: "priority": "builtin" should not be there #93850

Closed
bpasero opened this issue Mar 31, 2020 · 0 comments
Closed

Custom editors: "priority": "builtin" should not be there #93850

bpasero opened this issue Mar 31, 2020 · 0 comments
Assignees
@mjbvz
Labels
bug Issue identified by VS Code Team member as probable bug custom-editors Custom editor API (webview based editors) verified Verification succeeded
Milestone
March 2020

Comments

@bpasero
Copy link
Member

bpasero commented Mar 31, 2020

Refs: #93767

This should not be something an extension can define as an extension is never built-in. I suggest to maybe rewrite this when parsing extensions internally and remove it as choice.
@mjbvz mjbvz added this to the March 2020 milestone Mar 31, 2020
@mjbvz mjbvz closed this as completed in 19b67f3 Apr 2, 2020
@mjbvz mjbvz added bug Issue identified by VS Code Team member as probable bug custom-editors Custom editor API (webview based editors) labels Apr 5, 2020
@roblourens roblourens added the verified Verification succeeded label Apr 7, 2020
@github-actions github-actions bot locked and limited conversation to collaborators May 18, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@mjbvz mjbvz

Labels
bug Issue identified by VS Code Team member as probable bug custom-editors Custom editor API (webview based editors) verified Verification succeeded
Projects
None yet
Milestone
March 2020
Development

No branches or pull requests
3 participants
@roblourens @bpasero @mjbvz