| commit | 15c36a531fe5b565cc44abfe6747f46d54e781b0 | [log] [tgz] |
|---|---|---|
| author | gwt.team.jlabanca <gwt.team.jlabanca@8db76d5a-ed1c-0410-87a9-c151d255dfc7> | Wed Feb 20 17:55:25 2008 +0000 |
| committer | gwt.team.jlabanca <gwt.team.jlabanca@8db76d5a-ed1c-0410-87a9-c151d255dfc7> | Wed Feb 20 17:55:25 2008 +0000 |
| tree | d9a13691999fb80bb58fd9f03904f9e234b2fb3a | |
| parent | 554db6caaa5ef2401c76a348a07551005d5aa158 [diff] |
Added the DecoratorPanel, which is a Widget that wraps another Widget in a 9-box that can be used to create rounded corners. Issue: 883 Patch by: jlabanca, ecc Review by: ecc git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@1875 8db76d5a-ed1c-0410-87a9-c151d255dfc7