PMD markers should be removed on Project->Clean #110

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Closed

sratz opened this issue Aug 5, 2019 · 0 comments · Fixed by #111

Milestone

Contributor

sratz commented Aug 5, 2019

When cleaning the project I'd also expect all PMD markers to be removed.

Currently, if auto-build is disabled, all PMD markers remain after cleaning which is counter-intuitive.

sratz mentioned this issue

Delete project markers on Project -> Clean (fixes #110) #111

Merged

adangel added this to the 4.7.0 milestone

adangel closed this as completed in

2a14570

adangel closed this as completed in #111

adangel added a commit that referenced this issue


          Update release notes, refs #111, fixes #110

9f8eef8

# for free to join this conversation on GitHub. Already have an account? # to comment