commit | 877cc63daf07ecddacb7c376e2a4e69870729d4c | [log] [tgz] |
---|---|---|
author | gwt.team.jlabanca <gwt.team.jlabanca@8db76d5a-ed1c-0410-87a9-c151d255dfc7> | Tue Feb 05 20:11:20 2008 +0000 |
committer | gwt.team.jlabanca <gwt.team.jlabanca@8db76d5a-ed1c-0410-87a9-c151d255dfc7> | Tue Feb 05 20:11:20 2008 +0000 |
tree | f77cd8fe095d39d8b425a86a3e790070efec1bf4 | |
parent | 5577b43729415f626bd42796fc4ef5781a773b01 [diff] |
Added a new TitledPanel Widget that uses the HTML fieldset element to create a nicely bordered container around a Widget. Issue: 1614 Patch by: jlabanca Review by: jgw git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@1784 8db76d5a-ed1c-0410-87a9-c151d255dfc7