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

exit in integrated terminal should collapse the panel or present a button to restart it #6762

Closed
alexdima opened this issue May 24, 2016 · 1 comment
Closed

exit in integrated terminal should collapse the panel or present a button to restart it #6762

alexdima opened this issue May 24, 2016 · 1 comment
Assignees
@alexdima
Labels
terminal General terminal issues that don't fall under another label
Milestone
May 2016

Comments

@alexdima
Copy link
Member

Testing #6654

terminal-exit
@Tyriar Tyriar added the terminal General terminal issues that don't fall under another label label May 24, 2016
@Tyriar Tyriar added this to the June 2016 milestone May 24, 2016
@Tyriar
Copy link
Member

Tyriar commented May 24, 2016

Good suggestion, that would also work around the problem of it not repainting correctly. Not super high priority so moving to June.

@Tyriar Tyriar mentioned this issue May 24, 2016
Closed
@Tyriar Tyriar modified the milestones: May 2016, June 2016 May 25, 2016
@Tyriar Tyriar closed this as completed in 4dbb657 May 25, 2016
@Tyriar Tyriar assigned alexdima and unassigned Tyriar May 27, 2016
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 18, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@alexdima alexdima

Labels
terminal General terminal issues that don't fall under another label
Projects
None yet
Milestone
May 2016
Development

No branches or pull requests
2 participants
@Tyriar @alexdima