Project: JDT
Bug 321818 [preferences] 'Errors/Warnings' page: allow to filter a section for a value
Reported: 2010-08-05 03:00:45 | Status: verified fixed

I20100804-1800. The 'Errors/Warnings' page should allow to filter a category for a value, e.g. ~warn code style code style ~error

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/OptionsConfigurationBlock.java