windowA.getNormal(), windowA.getMinimized(),
windowB.getNormal(), windowB.getMinimized()}, 3);
layout_.setSize("100%", "100%");
topWindowStateChangeManager_ = new WindowStateChangeManager(session);
bottomWindowStateChangeManager_ = new WindowStateChangeHandler()
{
public void onWindowStateChange(WindowStateChangeEvent event)
{
WindowState topState;
switch (event.getNewState())