[jbosstools-issues] [JBoss JIRA] Created: (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 Reporter: Alexey Kazakov Assignee: Viacheslav Kabanovich Fix For: 3.3.x It would be good to have some filter in our validation preferences pages like JDT has for compilation problem preferences. See the attached screenshot. -- This message is automatically generated by JIRA. For more information on JIRA, see: http://www.atlassian.com/software/jira