jbosstools/jbosstools-central — pull request #240 by mickaelistria (2014-06-03 10:59:55+00:00)
Title: JBIDE-17514 JBIDE-17425: Better handling of scroll

This fixes issue of scrollbar not being updated when
content of the scrolled composite is resized.