Par Winzell b041c6804b Since GWT is clearly moving away from (deprecating) TabPanel, let's ween ourselves off of it. However, TabLayoutPanel is a RequiresResize widget, which means it's not a drop-in replacement; it needs to be part of a layout. ...

The easiest way to accomplish this, if you have a degree of control over your page, is with something like:

    RootLayoutPanel.get().add(new ConfigEditorPanel(barHeight));

git-svn-id: svn+ssh://src.earth.threerings.net/narya/trunk@6387 542714f4-19e9-0310-aa3c-eee0fc999fb1

2010-12-16 17:54:39 +00:00

..

cpp

Regenerated minus the ignore bits.

2010-12-10 18:31:26 +00:00

main

Since GWT is clearly moving away from (deprecating) TabPanel, let's ween ourselves off of it. However, TabLayoutPanel is a RequiresResize widget, which means it's not a drop-in replacement; it needs to be part of a layout.

2010-12-16 17:54:39 +00:00

test

Allow generated sections to be turned off.

2010-12-15 23:46:56 +00:00