Works ... thanks!
As to HeaderPanel... my HTML layout is working OK. I might have saved effort
by starting with a more widget-oriented layout, but those costs are now sunk.
On Friday, May 10, 2013 10:55:31 AM UTC-7, Jens wrote:
>
> Use
>
> Scheduler.get().scheduleDeferred(new ScheduledComman
Use
Scheduler.get().scheduleDeferred(new ScheduledCommand() {
void execute() {
int topOfSpace = topSection.getAbsoluteBottom();
int botOfSpace = botSection.getAbsoluteTop();
int middleHeight = middleSection.getClientHeight();
int topOfMiddle = topOfSpace + (botOf
On Friday, May 10, 2013 9:23:26 AM UTC-7, I wrote:
>
> protected void positionMiddle() {
>
>> int topOfSpace = topSection.getAbsoluteBottom();
>> int botOfSpace = botSection.getAbsoluteTop();
>> int middleHeight = middleSection.getClientHeight();
>> int topOfMi
I have a canonical ("extends Composite") GWT 2.5.1/UiBinder app. There are
three horizontal sections on the browser page, comprised of div elements;
let's call them top, middle, and bottom. The layout is fluid/dynamic with
respect to the browser's window size. I have Java code that vertically
c
