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

Improve description of explorer.openEditors.visible setting #109250

Closed
gjsjohnmurray opened this issue Oct 23, 2020 · 1 comment
Closed

Improve description of explorer.openEditors.visible setting #109250

gjsjohnmurray opened this issue Oct 23, 2020 · 1 comment
Assignees
Labels
file-explorer Explorer widget issues insiders-released Patch has been released in VS Code Insiders polish Cleanup and polish issue
Milestone

Comments

@gjsjohnmurray
Copy link
Contributor

Found it. "explorer.openEditors.visible": 1 solved the problem.

You may want to set that larger than 1. Default value is 9.

Helptext for the section doesn't state that a value of zero disables the panel entirely. It probably ought to.

image

Originally posted by @gjsjohnmurray in #108264 (comment)

@isidorn isidorn added polish Cleanup and polish issue file-explorer Explorer widget issues labels Oct 26, 2020
@isidorn isidorn added this to the October 2020 milestone Oct 26, 2020
@isidorn
Copy link
Contributor

isidorn commented Oct 26, 2020

Yeah, makes perfect sense. Pushed a commit that tackles this. Thanks!

jmannanc pushed a commit to jmannanc/vscode that referenced this issue Oct 26, 2020
@github-actions github-actions bot locked and limited conversation to collaborators Dec 10, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
file-explorer Explorer widget issues insiders-released Patch has been released in VS Code Insiders polish Cleanup and polish issue
Projects
None yet
Development

No branches or pull requests

3 participants
@isidorn @gjsjohnmurray and others