jbosstools/jbosstools-central — pull request #98 by snjeza (2013-04-13 10:27:30+00:00)
Title: JBIDE-13953 - Weird scrollbar behavior

https://issues.jboss.org/browse/JBIDE-13953
Weird scrollbar behavior