jbosstools/jbosstools-jst — pull request #52 by dazarov (2013-02-20 00:32:39+00:00)
Title: JBIDE-13493 Filter by name of components for new HTML5 Widget Palette

Added text field and filtering that uses search pattern