FileDocCategorySizeDatePackage
HeaderPanel.javaAPI DocGlassfish v2 API3101Fri May 04 22:35:06 BST 2007com.sun.enterprise.tools.upgrade.gui

HeaderPanel

public class HeaderPanel extends InsetsPanel

Fields Summary
private String
headerText
private Header
header
private int
preferredHeight
Constructors Summary
public HeaderPanel()

        this("", 55);
    
public HeaderPanel(String s)

        this(s, 55);
    
public HeaderPanel(String s, int i)

        headerText = null;
        header = null;
        headerText = s;
        preferredHeight = i;
        setLayout(new BorderLayout());
        add(header = new Header(s), "North");        
    
Methods Summary
public java.awt.DimensiongetMinimumSize()

        return getPreferredSize();
    
public java.awt.DimensiongetPreferredSize()

        Dimension dimension = new Dimension(getSize().width, preferredHeight);
        return dimension;
    
public java.lang.StringgetText()

        if(header != null)
        {
            return header.getText();
        } else
        {
            return headerText;
        }
    
public voidsetText(java.lang.String s)

        headerText = s;
        if(header != null)
        {
            header.setText(s);
        }