Skip to content
This repository was archived by the owner on Dec 15, 2022. It is now read-only.

Conversation

@kumarharsh
Copy link
Contributor

this option controls the revealing of files automatically as they
are switched in the editor panes.

PR split as requested by @benogle in #715

this option controls the revealing of files automatically as they
are switched in the editor panes.
@nathansobo
Copy link
Contributor

For the record, this PR was actually merged with some changes in #754. Many thanks!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants