[jbosstools-issues] [JBoss JIRA] Commented: (JBIDE-9195) Filter for validation problem preferences
[
https://issues.jboss.org/browse/JBIDE-9195?page=com.atlassian.jira.plugin...
]
Pavol Srna commented on JBIDE-9195:
-----------------------------------
Verified on jbdevstudio-product-linux-gtk-5.0.0.v201109071858R-H28-M3.
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.
--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira