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

Terminal editors: splitted terminal is not preserved as terminal editor #127532

Closed
weinand opened this issue Jun 29, 2021 · 2 comments
Closed

Terminal editors: splitted terminal is not preserved as terminal editor #127532

weinand opened this issue Jun 29, 2021 · 2 comments
Assignees
Labels
*as-designed Described behavior is as designed

Comments

@weinand
Copy link
Contributor

weinand commented Jun 29, 2021

Testing #127192

  • in a panel split a terminal
  • shift select the two terminal tabs that comprise the spitted terminal
  • drag them to the editor group

Observe:
there is no longer a splitted terminal. Instead both halves show up as individual terminal editors

@Tyriar
Copy link
Member

Tyriar commented Jun 29, 2021

This is actually by design and I think trying to do this would end up leading to some weird behavior as well, like when dragging from multiple groups.

@Tyriar Tyriar added the *as-designed Described behavior is as designed label Jun 29, 2021
@github-actions github-actions bot locked and limited conversation to collaborators Aug 13, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
*as-designed Described behavior is as designed
Projects
None yet
Development

No branches or pull requests

3 participants
@weinand @Tyriar and others