[jbosstools-issues] [JBoss JIRA] (JBIDE-14613) JQueryMobile Widget Palette Filter Enhancement

[Daniel Azarov (JIRA)]

Daniel Azarov created JBIDE-14613:
-------------------------------------

             Summary: 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


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