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

[folding] Decorate fold indicators with error color/iconography #120989

Open
JacksonKearl opened this issue Apr 9, 2021 · 2 comments · May be fixed by #190682
Open

[folding] Decorate fold indicators with error color/iconography #120989

JacksonKearl opened this issue Apr 9, 2021 · 2 comments · May be fixed by #190682
Assignees
Labels
editor-folding Editor code folding issues feature-request Request for new features or functionality help wanted Issues identified as good community contribution opportunities
Milestone

Comments

@JacksonKearl
Copy link
Contributor

JacksonKearl commented Apr 9, 2021

It would be nice if the folding indicators would signify the presence of errors in their elided range, currently I can see in the gutter that some errors are somewhere in my viewport, but no clue where. (Yes F8 or consulting the problems pane would help here, but that's not always what I want)

image

@aeschli aeschli added editor-folding Editor code folding issues feature-request Request for new features or functionality labels Apr 12, 2021
@aeschli aeschli added this to the Backlog milestone Apr 12, 2021
@aeschli aeschli changed the title Decorate fold indicators with error color/iconography [folding] Decorate fold indicators with error color/iconography Apr 12, 2021
@aeschli aeschli added the help wanted Issues identified as good community contribution opportunities label Apr 12, 2021
@robot-head
Copy link

What I'd like personally is a setting that can disable folding if a region contains a problem or warning, that way I can fold all the code around the problems and focus on them

@gjsjohnmurray
Copy link
Contributor

@aeschli I have submitted a PR in response to the Help Wanted label you added a couple of years ago. Please take a look and let me know what you think, ideally in time for the upcoming 1.82 endgame a week from now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editor-folding Editor code folding issues feature-request Request for new features or functionality help wanted Issues identified as good community contribution opportunities
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants