[jbosstools-issues] [JBoss JIRA] Closed: (JBIDE-9195) Filter for validation problem preferences

Filter for validation problem preferences ----------------------------------------- Key: JBIDE-9195 URL: https://issues.jboss.org/browse/JBIDE-9195 Project: Tools (JBoss Tools) Issue Type: Feature Request Components: common/jst/core Reporter: Alexey Kazakov Assignee: Viacheslav Kabanovich Labels: new_and_noteworthy Fix For: 3.3.0.M3 Attachments: FilterForPreferences.png, scrn.png It would be good to have some filter in our validation preferences pages like JDT has for compilation problem preferences. See the attached screenshot.