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

Window splits inside a tab #104483

Closed
Hubro opened this issue Aug 12, 2020 · 3 comments
Closed

Window splits inside a tab #104483

Hubro opened this issue Aug 12, 2020 · 3 comments
Labels
*duplicate Issue identified as a duplicate of another issue(s) feature-request Request for new features or functionality workbench-editors Managing of editor widgets in workbench window

Comments

@Hubro
Copy link

Hubro commented Aug 12, 2020

This is an intentional duplicate of this closed feature request: #41486

It was closed as a duplicate, but no duplicate issue was linked and through Google or the issues tab I can't for the life of me find that duplicate. If the duplicate still exists and is open, please close this request with a link to the duplicate.


As somebody who has worked in Vim for years, it seems silly to me that tabs are inside window splits. I would like an option to invert this, so that splits are inside tabs. This will make the Vim mode way, way more like the real thing.

If adding a toggle for this is not viable, then perhaps instead add an API for creating splits inside tabs, and let the Vim mode plugin tap into this API. This wouldn't change the user experience for anybody else.

@bpasero bpasero added feature-request Request for new features or functionality workbench-editors Managing of editor widgets in workbench window labels Aug 12, 2020
@bpasero bpasero removed their assignment Aug 12, 2020
@bpasero
Copy link
Member

bpasero commented Aug 13, 2020

/duplicate #36700

@github-actions github-actions bot locked and limited conversation to collaborators Sep 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
*duplicate Issue identified as a duplicate of another issue(s) feature-request Request for new features or functionality workbench-editors Managing of editor widgets in workbench window
Projects
None yet
Development

No branches or pull requests

3 participants
@Hubro @bpasero and others