Project: JDT
Bug 321558 [preferences] problem filtering should allow to combine name with value search
Reported: 2010-08-03 04:44:51 | Status: verified fixed

I20100802-1800. I tried to search a certain set of options (by name) along with a given value but failed. We should support name~value patterns, e.g. "param~warn"

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