[jbosstools-issues] [JBoss JIRA] Created: (JBIDE-9543) Add a way of filtering the commands using a text field on top of the Plugin/Command dialog

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 Reporter: Koen Aers -- This message is automatically generated by JIRA. For more information on JIRA, see: http://www.atlassian.com/software/jira