Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Enable folding through a preference #55

Open
davidpeckham opened this issue Aug 12, 2019 · 0 comments
Open

Enable folding through a preference #55

davidpeckham opened this issue Aug 12, 2019 · 0 comments
Assignees
Milestone

Comments

@davidpeckham
Copy link
Owner

Filtering is the most important use case for Filter Lines. Folding, while very useful, is secondary, so to simplify the user experience, hide fold commands and menus by default, and enable them with a preference.

@davidpeckham davidpeckham added this to the v4.0 milestone Aug 12, 2019
@davidpeckham davidpeckham self-assigned this Aug 12, 2019
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

No branches or pull requests

1 participant