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

Multiple terminal management #7705

Merged
merged 29 commits into from
Jun 24, 2016
Merged

Multiple terminal management #7705

merged 29 commits into from
Jun 24, 2016

Conversation

Tyriar
Copy link
Member

@Tyriar Tyriar commented Jun 15, 2016

No description provided.

@Tyriar Tyriar added this to the June 2016 milestone Jun 15, 2016
@Tyriar Tyriar self-assigned this Jun 15, 2016
@Tyriar Tyriar force-pushed the tyriar/terminal_tabs branch from 2d705fc to 6a35362 Compare June 17, 2016 19:15
@Tyriar Tyriar changed the title Add tabs to terminal Multiple terminal management Jun 23, 2016
@Tyriar
Copy link
Member Author

Tyriar commented Jun 23, 2016

This is blocked on #8038

@Tyriar
Copy link
Member Author

Tyriar commented Jun 24, 2016

Decision on UX #7732

@Tyriar Tyriar merged commit 5d12db7 into master Jun 24, 2016
@Tyriar Tyriar deleted the tyriar/terminal_tabs branch June 24, 2016 03:45
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants