Setting some minimum sizes for scroll panels. Note that we can't set a minimum size for the centre widget - https://code.google.com/p/google-web-toolkit/issues/detail?id=4731