[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-9543) Add a way of filtering the commands using a text field on top of the Plugin/Command dialog
[
https://issues.jboss.org/browse/JBIDE-9543?page=com.atlassian.jira.plugin...
]
Koen Aers resolved JBIDE-9543.
------------------------------
Resolution: Done
revision 34343
Add a way of filtering the commands using a text field on top of the
Plugin/Command dialog
------------------------------------------------------------------------------------------
Key: JBIDE-9543
URL: https://issues.jboss.org/browse/JBIDE-9543
Project: Tools (JBoss Tools)
Issue Type: Sub-task
Components: forge
Reporter: Koen Aers
Assignee: Koen Aers
Fix For: 3.3.0.M3
--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira