New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

JBIDE-13953 - Weird scrollbar behavior #98

Closed

snjeza wants to merge 1 commit into jbosstools:master from snjeza:jbide-13953

Member

snjeza commented Apr 13, 2013

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


          JBIDE-13953 - Weird scrollbar behavior

85c6885

Member

maxandersen commented Apr 16, 2013

+1 for branch if this works on all OS's.

Member

fbricon commented Apr 16, 2013

Patch applied in both branch and master (though I changed gd.heightHint = height - 30)

fbricon closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment