WizardTab.java 文件源码

/**
 * The size of the tree is now somewhat dynamic. It was getting lost in the
 * new big windows :)
 */
@Override
public void componentResized(ComponentEvent event)
{
    int treeWidth = (int) (panel.getSize().width * 0.25);
    if( treeWidth < MIN_TREE_WIDTH )
    {
        treeWidth = MIN_TREE_WIDTH;
    }
    else if( treeWidth > MAX_TREE_WIDTH )
    {
        treeWidth = MAX_TREE_WIDTH;
    }
    guiLayout.setColumns(new int[]{treeWidth, TableLayout.FILL});
}