tree 452a9bd326fb3dd0fc0b07898bbc1f1873f5fdf2
parent cb1a5f5a64e05bf5f09a370dd60cba481eb8087c
author gwt.team.ecc <gwt.team.ecc@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1201725289 +0000
committer gwt.team.ecc <gwt.team.ecc@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1201725289 +0000

Currently, scrolling to the far right or bottom of the ScrollPanel requires the user to access the scrollHeight property of the DOM element directly as followings:
setScrollPosition(DOM.getElementPropertyInt(getElement(), "scrollHeight"));

Fix:
Added the following convenience methods to abstract the DOM portion of the code:
scrollToTop()
scrollToBottom()
scrollToLeft()
scrollToRight()
Testing:
Manually verified the new methods scroll to the correct locations in all browsers.

Found by: jlabanca
Fixed by: jlabanca
Review by: jgw

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@1765 8db76d5a-ed1c-0410-87a9-c151d255dfc7