jbosstools/jbosstools-jst — pull request #47 by dazarov (2013-02-15 21:30:05+00:00)
Title: JBIDE-13493 Filter by name of components for new HTML5 Widget Palette

Added text field and filtering that uses search pattern