-
Notifications
You must be signed in to change notification settings - Fork 235
Configurable error visibility options and gutter errors tooltip #726
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
Conversation
… more visible outlining of errors Also adds a gutter tooltip to show all errors on a line
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me
Fix typo Co-Authored-By: Orta <[email protected]>
👍 |
@betorobson What exactly is not working? Are you getting an error? Is it just the config options that don't do anything? Obviously assume you're actually running this code. |
@betorobson Are you actually running the code from master? This PR has been merged, but a new version has not yet been released. |
Yes, I assumed that is was working because it is in master branch README. |
@betorobson Sorry, I'm still not clear from what you're saying if you're positively running this code or not. If I use your settings with this code, it works as expected. |
I'm using the last version 3.6.2. As you told me, the settings that i'm trying are only in master branch. Do you have any idea when it will be published? |
@@ -5,5 +5,7 @@ | |||
|
|||
// empty string, or one of "region.redish", "region.orangish", "region.yellowish", "region.greenish", "region.bluish", "region.purplish", "region.pinkish" | |||
"error_color": "", | |||
"error_icon": "", |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This means there's always a default, which means users haven't been seeing errors since we sent out the update last week.
settings.get("error_color", "invalid.illegal"), | ||
settings.get("error_icon", ""), | ||
sublime.DRAW_OUTLINED | ||
if settings.get("error_outlined") else | ||
sublime.DRAW_NO_FILL + | ||
sublime.DRAW_NO_OUTLINE + |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
+
is wrong, so this has never worked...
Implements two additional configuration options, one for setting an optional gutter icon on lines with errors and one for switching from default squiggly line to solid outline. This is superset of PR #625 functionality.
Also adds a gutter tooltip to show all errors on a line.
Fixes #522 #711
Thoughts and feedback welcome.