[jbosstools-issues] [JBoss JIRA] (JBIDE-14613) JQueryMobile Widget Palette Filter Enhancement
[
https://issues.jboss.org/browse/JBIDE-14613?page=com.atlassian.jira.plugi...
]
Daniel Azarov updated JBIDE-14613:
----------------------------------
Attachment: EnhancedFilter.png
JQueryMobile Widget Palette Filter Enhancement
----------------------------------------------
Key: JBIDE-14613
URL: https://issues.jboss.org/browse/JBIDE-14613
Project: Tools (JBoss Tools)
Issue Type: Enhancement
Components: jsp/jsf/xml/html source editing
Reporter: Daniel Azarov
Assignee: Daniel Azarov
Fix For: 4.1.0.Beta2
Attachments: EnhancedFilter.png
Make filter works like filter in Eclipse Preferences (with delete button on the right and
"type filter text" default text)
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira