commit a926b58d76c339411821e78696ab8e4f4b8c4503
author gwt.team.ecc <gwt.team.ecc@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Wed Jan 30 20:34:49 2008 +0000
committer gwt.team.ecc <gwt.team.ecc@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Wed Jan 30 20:34:49 2008 +0000
tree 452a9bd326fb3dd0fc0b07898bbc1f1873f5fdf2
parent cb1a5f5a64e05bf5f09a370dd60cba481eb8087c

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