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

Improved version of "View: Toggle Editor Group Sizes" (workbench.action.toggleEditorWidths) #215541

Closed
dimateos opened this issue Jun 14, 2024 · 3 comments
Labels
feature-request Request for new features or functionality workbench-editor-grid Grid layout issues in the editor area

Comments

@dimateos
Copy link

We can temporarily maximize an editor tab with #196722 which works great.

You can also use "View: Toggle Editor Group Sizes" (workbench.action.toggleEditorWidths) which reduces the size of other editor groups. In this case the original editor size is not restored, but kind of divided equally.

Sometimes when I use "View: Toggle Editor Group Sizes" I wish it could respect vertically aligned editor groups and only shrink the rest.

For example, I find myself comparing a main log files with 2 secondary ones:
image

When I want to focus on both secondary and I try to use "View: Toggle Editor Group Sizes" I get only one maximized.
So in this case have to do it manually by dragging the resize widgets, not as convenient and fast as toggling it using the command.
image

One thing to note, in some situations the split node can be horizontal so the user might want it instead to respect the horizontal alignment. This can be easily shown with the previous example using the command "Toggle Vertical/Horizontal Editor Layout" (workbench.action.toggleEditorGroupLayout)
image

Request

  • A new command similar to "View: Toggle Editor Group Sizes" that enlarges the current editor groups in the same split node
    • I would make it a single command and detect the direction, but there could be a command for horizontal/vertical
@bpasero bpasero added feature-request Request for new features or functionality workbench-editor-groups Issues related to editor groups workbench-editor-grid Grid layout issues in the editor area and removed workbench-editor-groups Issues related to editor groups labels Jun 14, 2024
@bpasero bpasero removed their assignment Jun 14, 2024
@vscodenpa vscodenpa added this to the Backlog Candidates milestone Jun 14, 2024
@vscodenpa
Copy link

This feature request is now a candidate for our backlog. The community has 60 days to upvote the issue. If it receives 20 upvotes we will move it to our backlog. If not, we will close it. To learn more about how we handle feature requests, please see our documentation.

Happy Coding!

Copy link

This feature request has not yet received the 20 community upvotes it takes to make to our backlog. 10 days to go. To learn more about how we handle feature requests, please see our documentation.

Happy Coding!

Copy link

🙁 In the last 60 days, this feature request has received less than 20 community upvotes and we closed it. Still a big Thank You to you for taking the time to create this issue! To learn more about how we handle feature requests, please see our documentation.

Happy Coding!

@vs-code-engineering vs-code-engineering bot closed this as not planned Won't fix, can't repro, duplicate, stale Aug 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature-request Request for new features or functionality workbench-editor-grid Grid layout issues in the editor area
Projects
None yet
Development

No branches or pull requests

3 participants