Skip to content

Gutter Markers not Configured Color #85

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

Closed
numeralnathan opened this issue Jan 31, 2019 · 5 comments
Closed

Gutter Markers not Configured Color #85

numeralnathan opened this issue Jan 31, 2019 · 5 comments
Assignees
Labels
Milestone

Comments

@numeralnathan
Copy link

numeralnathan commented Jan 31, 2019

In the PMD Preferences, I changed the colors of the priority levels. However, the gutter markers are still using the old colors. I have tried restarting Eclipse and re-running PMD. This did not solve the problem.

In the screenshot, you can see the blue and green triangles in the gutter and the configured colors in the PMD Preferences.

image

Note: The colors are correct in the Violations Outline tab.

@adangel adangel added the bug label Feb 6, 2019
@adangel
Copy link
Member

adangel commented Feb 6, 2019

This sounds similar to #42

@numeralnathan
Copy link
Author

It is #42.

@adangel
Copy link
Member

adangel commented Feb 6, 2019

Did you test with the latest version? If so, the problem might not be fixed entirely yet....

@numeralnathan
Copy link
Author

numeralnathan commented Feb 7, 2019

I have Eclipse plugin 4.0.18.v20181220-1448 with PMD 6.10.0 installed. I see that PMD 6.11.0 just came out but the Eclipse plugin is still version 4.0.18.v20181220-1448.

@adangel adangel reopened this Feb 8, 2019
@adangel
Copy link
Member

adangel commented Mar 2, 2019

I can confirm, this is still a problem.

@adangel adangel added this to the 4.2.1 milestone Apr 13, 2019
@adangel adangel self-assigned this Apr 13, 2019
@adangel adangel added the wip work in progress label Apr 13, 2019
@adangel adangel removed the wip work in progress label Apr 13, 2019
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants