Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Don't open tree-view to auto-reveal files #1200
This PR changes tree-view such that the dock is not expanded automatically when files are revealed due to the Auto Reveal option being checked.
The matrix of behavior for various states of Auto Reveal and Focus On Reveal settings is now: