Skip to content

Preserve editor group widths when moving groups left/right #55313

New issue
Jump to bottom
New issue
Jump to bottom
Closed
Closed
Preserve editor group widths when moving groups left/right#55313
Assignees
joaomoreno
Labels
feature-requestRequest for new features or functionalityverification-neededVerification of issue is requestedverifiedVerification succeededworkbench-editor-gridGrid layout issues in the editor area
Milestone
 
September 2018
@axefrog

Description

@axefrog
axefrog
opened on Jul 28, 2018
  • VSCode Version: 1.25.1, 1.26.0-insider
  • OS Version: Windows 10

Steps to Reproduce:

  1. Open a bunch of tabs
  2. Split a tab to make a group to the left or right
  3. Resize the divider between the two groups
  4. Move the active group to the left or right
  5. Group widths are not maintained (group size should move with group)

Does this issue occur when all extensions are disabled?: Yes

Metadata

Assignees

Labels

feature-requestRequest for new features or functionalityverification-neededVerification of issue is requestedverifiedVerification succeededworkbench-editor-gridGrid layout issues in the editor area

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions