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 support to group problems view by the problem source #150216

Closed
gayanper opened this issue May 23, 2022 · 2 comments
Closed

Add support to group problems view by the problem source #150216

gayanper opened this issue May 23, 2022 · 2 comments
Assignees
Labels
*duplicate Issue identified as a duplicate of another issue(s) error-list Problems view

Comments

@gayanper
Copy link
Contributor

Today then problems view shows all problems from different sources. For example you could see lot of problems in a java workspace. Problems from java LS, Sonar LS and Maven LS (redhat xml) all will be shown in the list. It would be nice if the problems can be grouped so it will be easy to focus on each problem type. Another alternative for grouping is add the same support into filtering which will also solve the above use-case.

@sandy081
Copy link
Member

/duplicate

We are tracking all sorting related requests here - #98819

@VSCodeTriageBot VSCodeTriageBot added the *duplicate Issue identified as a duplicate of another issue(s) label May 24, 2022
@VSCodeTriageBot
Copy link
Collaborator

Thanks for creating this issue! We figured it's covering the same as another one we already have. Thus, we closed this one as a duplicate. You can search for similar existing issues. See also our issue reporting guidelines.

Happy Coding!

@github-actions github-actions bot locked and limited conversation to collaborators Jul 8, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
*duplicate Issue identified as a duplicate of another issue(s) error-list Problems view
Projects
None yet
Development

No branches or pull requests

3 participants