Skip to content
New issue

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

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

Already on GitHub? # to your account

Feature request: dock integrated terminal into dedicated tab #13806

Closed
anthony-y opened this issue Oct 15, 2016 · 3 comments
Closed

Feature request: dock integrated terminal into dedicated tab #13806

anthony-y opened this issue Oct 15, 2016 · 3 comments
Labels
*duplicate Issue identified as a duplicate of another issue(s)

Comments

@anthony-y
Copy link

Currently, the integrated terminal just sort of floats over top of code tabs; wouldn't it be a good idea to allow you to dock it into it's own dedicated tab, like you can when viewing the details of an extension?

It would look something like this:

wow

It's a little crude, I threw it together in 5 minutes in GIMP 😛

@anthony-y anthony-y changed the title Dock integrated terminal into dedicated tab Feature request: dock integrated terminal into dedicated tab Oct 16, 2016
@isidorn
Copy link
Contributor

isidorn commented Oct 17, 2016

Dup of #2806

@isidorn isidorn closed this as completed Oct 17, 2016
@isidorn isidorn added the *duplicate Issue identified as a duplicate of another issue(s) label Oct 17, 2016
@anthony-y
Copy link
Author

Ah sorry, I tried to see if there were any others before I posted but I guess I didn't look hard enough.

@isidorn
Copy link
Contributor

isidorn commented Oct 17, 2016

No worries

@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 18, 2017
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
*duplicate Issue identified as a duplicate of another issue(s)
Projects
None yet
Development

No branches or pull requests

2 participants