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

Max editor count should be configurable #2105

Closed
trstringer opened this issue Jan 19, 2016 · 5 comments
Closed

Max editor count should be configurable #2105

trstringer opened this issue Jan 19, 2016 · 5 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

@trstringer
Copy link
Contributor

The maximum number of editors currently is three. There doesn't appear to be a way to change this in user settings.

It would be helpful and flexible if there was a configuration option in user settings to override this default max value (i.e. some developers might be able to handle four or five editors and still feel "organized").

I like the max editor cap, but I believe the count of max editors should be configurable.
@Tyriar
Copy link
Member

Tyriar commented Jan 19, 2016

Related #1749 (horizontal editor splitting)

@weinand weinand added feature-request Request for new features or functionality workbench labels Jan 19, 2016
@bpasero bpasero added this to the Backlog milestone Jan 20, 2016
@bpasero bpasero removed their assignment Jan 23, 2016
@bpasero bpasero self-assigned this Mar 30, 2016
@bpasero bpasero removed their assignment Aug 17, 2016
@bpasero bpasero mentioned this issue Jan 30, 2017
Closed
@bmperdue
Copy link

+1

@bpasero bpasero added workbench-editors Managing of editor widgets in workbench window and removed workbench labels Nov 16, 2017
@xoron
Copy link

xoron commented Nov 16, 2017

+1

@bpasero bpasero removed this from the Backlog milestone Nov 17, 2017
@bpasero bpasero mentioned this issue Nov 17, 2017
Closed
@bpasero
Copy link
Member

bpasero commented Nov 17, 2017

/duplicate #9872

@vscodebot vscodebot bot added the *duplicate Issue identified as a duplicate of another issue(s) label Nov 17, 2017
@vscodebot
Copy link

vscodebot bot commented Nov 17, 2017

This issue has been closed because it is already tracked by another issue. See also our GitHub issues to search for existing issues and our issue reporting guidelines.

Happy Coding!

@vscodebot vscodebot bot closed this as completed Nov 17, 2017
@vscodebot vscodebot bot locked and limited conversation to collaborators Jan 1, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
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
Milestone
No milestone
Development

No branches or pull requests
6 participants
@bpasero @trstringer @weinand @Tyriar @bmperdue @xoron