Project: JDT
Bug 244020 [hovering] Rich Problem Hover > Configure Problem Severity asks about project-specific settings too often
Reported: 2008-08-13 09:35:51 | Status: verified fixed


Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/ProblemSeveritiesConfigurationBlock.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/hover/ProblemHover.java