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

Multi-select picker API: use 'canPickMany' and 'picked' #46803

Closed
chrmarti opened this issue Mar 28, 2018 · 0 comments
Closed

Multi-select picker API: use 'canPickMany' and 'picked' #46803

chrmarti opened this issue Mar 28, 2018 · 0 comments
Assignees
@chrmarti
Labels
api quick-pick Quick-pick widget issues verification-needed Verification of issue is requested verified Verification succeeded
Milestone
March 2018

Comments

@chrmarti
Copy link
Contributor

/cc @jrieken
@chrmarti chrmarti added api quick-pick Quick-pick widget issues labels Mar 28, 2018
@chrmarti chrmarti added this to the March 2018 milestone Mar 28, 2018
@chrmarti chrmarti self-assigned this Mar 28, 2018
@ramya-rao-a ramya-rao-a added the verification-needed Verification of issue is requested label Mar 30, 2018
@rebornix rebornix added the verified Verification succeeded label Mar 31, 2018
@vscodebot vscodebot bot locked and limited conversation to collaborators May 12, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@chrmarti chrmarti

Labels
api quick-pick Quick-pick widget issues verification-needed Verification of issue is requested verified Verification succeeded
Projects
None yet
Milestone
March 2018
Development

No branches or pull requests
3 participants
@rebornix @chrmarti @ramya-rao-a