jbosstools/jbosstools-central — pull request #103 by snjeza (2013-05-13 21:31:46+00:00)
Title: JBIDE-14350 - Search field disappears when Central editor is too small

https://issues.jboss.org/browse/JBIDE-14350
Search field disappears when Central editor is too small