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

Add API to hide expanded folds except on hover #459

Closed
bobbylight opened this issue Sep 24, 2022 · 0 comments
Closed

Add API to hide expanded folds except on hover #459

bobbylight opened this issue Sep 24, 2022 · 0 comments
Assignees
Milestone

Comments

@bobbylight
Copy link
Owner

Describe the solution you'd like
Modern code editors often hide "expanded" fold icons unless the mouse is hovering over the gutter. In particular, editors whose fold icons resemble those recently added to RSTA as the "modern" style in #458. We should add an API to Gutter to support this, and do so out-of-the-box for the "modern" fold style.

Are there any workarounds?
No

Additional context
None

@bobbylight bobbylight self-assigned this Sep 24, 2022
@bobbylight bobbylight added this to the 3.2.1 milestone Sep 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant