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

Polish Terminal Switcher #32236

Closed
6 tasks done
Lixire opened this issue Aug 10, 2017 · 0 comments · Fixed by #32650
Closed
6 tasks done

Polish Terminal Switcher #32236

Lixire opened this issue Aug 10, 2017 · 0 comments · Fixed by #32650
Assignees
Labels
quick-pick Quick-pick widget issues terminal Integrated terminal issues
Milestone

Comments

@Lixire
Copy link
Contributor

Lixire commented Aug 10, 2017

This is to track all the issues surrounding the terminal switcher for the August iteration.

@Lixire Lixire added terminal Integrated terminal issues quick-pick Quick-pick widget issues labels Aug 10, 2017
@Lixire Lixire added this to the August 2017 milestone Aug 10, 2017
@Lixire Lixire self-assigned this Aug 10, 2017
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 17, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
quick-pick Quick-pick widget issues terminal Integrated terminal issues
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant