http://gwt-code-reviews.appspot.com/1301801/diff/1/4 File user/src/com/google/gwt/user/client/ui/HeaderPanel.java (right):
http://gwt-code-reviews.appspot.com/1301801/diff/1/4#newcode135 user/src/com/google/gwt/user/client/ui/HeaderPanel.java:135: public Iterator<Widget> iterator() { All Panels must define an iterator method because it implements HasWidgets. Even SimplePanel has one. http://gwt-code-reviews.appspot.com/1301801/diff/1/4#newcode346 user/src/com/google/gwt/user/client/ui/HeaderPanel.java:346: int remainingHeight = getOffsetHeight(); On 2011/01/20 15:00:03, pdr wrote:
Should this be getElement().getClientHeight() instead of
getOffsetHeight() so
that borders/padding don't cause the middle element to overlap the
footer panel? Done. http://gwt-code-reviews.appspot.com/1301801/show -- http://groups.google.com/group/Google-Web-Toolkit-Contributors