-
Notifications
You must be signed in to change notification settings - Fork 7
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 setting to change how severities are displayed #141
Conversation
c090d8f
to
9c9c473
Compare
9c9c473
to
fda1961
Compare
@@ -158,6 +158,14 @@ | |||
"description": "Enable CodeLens for displaying the reproduction path", | |||
"default": true | |||
}, | |||
"codechecker.editor.customBugSeverities": { |
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.
Maybe it would be more user friendly to use an enum setting:
"codechecker.editor.customBugSeverities": {
"type": "string",
"default": "Error",
"enum": [
"Error",
"Warning",
"Information",
"Hint"
],
"description": "Control how a bug is displayed in the editor, depending on what its severity is. Bugs can be displayed as 'Error', 'Warning', 'Information' or 'Hint'. By default, everything except 'STYLE' severity is displayed as an error."
}
so this setting would be a selection:
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.
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.
Tested and works correctly.
@MiklosMagyari Thanks! We added you as a maintainer so you can now theoretically approve PRs as well - that's required for merging here. |
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.
Approved
Fixes #139. Requires #140 for CI passing.
By default, all CodeChecker bug severities except STYLE are displayed as errors inside the editor. This PR adds a setting to enable changing how each of these severities are displayed.