KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > com > sun > enterprise > tools > upgrade > gui > HeaderPanel


1 /*
2  * The contents of this file are subject to the terms
3  * of the Common Development and Distribution License
4  * (the License). You may not use this file except in
5  * compliance with the License.
6  *
7  * You can obtain a copy of the license at
8  * https://glassfish.dev.java.net/public/CDDLv1.0.html or
9  * glassfish/bootstrap/legal/CDDLv1.0.txt.
10  * See the License for the specific language governing
11  * permissions and limitations under the License.
12  *
13  * When distributing Covered Code, include this CDDL
14  * Header Notice in each file and include the License file
15  * at glassfish/bootstrap/legal/CDDLv1.0.txt.
16  * If applicable, add the following below the CDDL Header,
17  * with the fields enclosed by brackets [] replaced by
18  * you own identifying information:
19  * "Portions Copyrighted [year] [name of copyright owner]"
20  *
21  * Copyright 2006 Sun Microsystems, Inc. All rights reserved.
22  */
23
24 package com.sun.enterprise.tools.upgrade.gui;
25
26 import java.awt.*;
27
28
29 public class HeaderPanel extends InsetsPanel
30 {
31
32     private String JavaDoc headerText;
33     private Header header;
34     private int preferredHeight;
35
36     public HeaderPanel()
37     {
38         this("", 55);
39     }
40
41     public HeaderPanel(String JavaDoc s)
42     {
43         this(s, 55);
44     }
45
46     public HeaderPanel(String JavaDoc s, int i)
47     {
48         headerText = null;
49         header = null;
50         headerText = s;
51         preferredHeight = i;
52         setLayout(new BorderLayout());
53         add(header = new Header(s), "North");
54     }
55
56     public Dimension getMinimumSize()
57     {
58         return getPreferredSize();
59     }
60
61     public Dimension getPreferredSize()
62     {
63         Dimension dimension = new Dimension(getSize().width, preferredHeight);
64         return dimension;
65     }
66
67     public String JavaDoc getText()
68     {
69         if(header != null)
70         {
71             return header.getText();
72         } else
73         {
74             return headerText;
75         }
76     }
77
78     public void setText(String JavaDoc s)
79     {
80         headerText = s;
81         if(header != null)
82         {
83             header.setText(s);
84         }
85     }
86 }
87
Popular Tags