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

API: Finalize env.uiKind #82883

Closed
bpasero opened this issue Oct 19, 2019 · 1 comment
Closed

API: Finalize env.uiKind #82883

bpasero opened this issue Oct 19, 2019 · 1 comment
Assignees
@bpasero
Labels
api-finalization verification-needed Verification of issue is requested verified Verification succeeded web Issues related to running VSCode in the web
Milestone
October 2019

Comments

@bpasero
Copy link
Member

bpasero commented Oct 19, 2019 •
edited

We should move env.uiKind out of proposed API to stable.
@bpasero bpasero added api-finalization web Issues related to running VSCode in the web labels Oct 19, 2019
@bpasero bpasero added this to the October 2019 milestone Oct 19, 2019
@bpasero bpasero self-assigned this Oct 19, 2019
@bpasero bpasero added the verification-needed Verification of issue is requested label Oct 22, 2019
@bpasero
Copy link
Member Author

bpasero commented Oct 22, 2019

Verification: ensure you can use env.uiKind from an extension that is not enabled for proposed API.

@jrieken jrieken added the verified Verification succeeded label Oct 29, 2019
@vscodebot vscodebot bot locked and limited conversation to collaborators Dec 5, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@bpasero bpasero

Labels
api-finalization verification-needed Verification of issue is requested verified Verification succeeded web Issues related to running VSCode in the web
Projects
None yet
Milestone
October 2019
Development

No branches or pull requests
2 participants
@bpasero @jrieken