[jbosstools-issues] [JBoss JIRA] (JBIDE-14613) JQueryMobile Widget Palette Filter Enhancement
Daniel Azarov (JIRA)
jira-events at lists.jboss.org
Thu May 23 19:49:35 EDT 2013
[ https://issues.jboss.org/browse/JBIDE-14613?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
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
More information about the jbosstools-issues
mailing list