Box: fix opposite-dimension padding of child widgets
Box: fix opposite-dimension padding of child widgets

Ignore-this: f9b0a64d8909b3d4017204366d1d6168

darcs-hash:20110223051027-e018d-8a47ebb9b0f20ed4f09a96d8e1f2de5aa0f1db03.gz

KommuSoft/vty-ui,ktvoelker/vty-ui