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.

Sign up for GitHub

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

Jump to bottom

New settings: Tab label spills over #55757

Closed
aeschli opened this issue Aug 3, 2018 · 0 comments
Closed

New settings: Tab label spills over #55757

aeschli opened this issue Aug 3, 2018 · 0 comments
Assignees
@roblourens
Labels
bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues verified Verification succeeded
Milestone
July 2018

Comments

@aeschli
Copy link
Contributor

aeschli commented Aug 3, 2018 •
edited

Version: 1.26.0-insider
Commit: 0c2d71e
Date: 2018-08-03T05:18:02.899Z

  • set "workbench.editor.closeEmptyGroups": false
  • have an empty editor group next to the settings editor

image
@roblourens roblourens modified the milestones: August 2018, July 2018 Aug 3, 2018
@roblourens roblourens added bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues labels Aug 3, 2018
@sbatten sbatten added the verified Verification succeeded label Aug 3, 2018
@vscodebot vscodebot bot locked and limited conversation to collaborators Sep 17, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@roblourens roblourens

Labels
bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues verified Verification succeeded
Projects
None yet
Milestone
July 2018
Development

No branches or pull requests
3 participants
@roblourens @aeschli @sbatten