KickJava   Java API By Example, From Geeks To Geeks.

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


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 public class Header extends Canvas
29 {
30
31     private String JavaDoc headerText;
32
33     public Header()
34     {
35         this("");
36     }
37
38     public Header(String JavaDoc s)
39     {
40         headerText = null;
41         headerText = s;
42         setForeground(Color.black);
43         try
44         {
45             setFont(new Font("SansSerif", 0, 12));
46         }
47         catch(Error JavaDoc _ex) { }
48     }
49
50     public Dimension getMinimumSize()
51     {
52         return getPreferredSize();
53     }
54
55     public Dimension getPreferredSize()
56     {
57         return new Dimension(getSize().width, 22);
58     }
59
60     public String JavaDoc getText()
61     {
62         return headerText;
63     }
64
65     public void paint(Graphics g)
66     {
67         Dimension dimension = getSize();
68         g.setClip(0, 0, dimension.width, dimension.height);
69         FontMetrics fontmetrics = null;
70         g.setColor(getBackground());
71         g.fillRect(0, 0, dimension.width + 1, dimension.height + 1);
72         g.setColor(getForeground());
73         g.setFont(getFont());
74         fontmetrics = Toolkit.getDefaultToolkit().getFontMetrics(getFont());
75         int i = (dimension.height - (fontmetrics.getMaxAscent() + fontmetrics.getMaxDescent())) / 2 + fontmetrics.getMaxAscent();
76         g.drawString(headerText, fontmetrics.stringWidth(""), i);
77         int j = dimension.height - fontmetrics.getMaxDescent() / 2;
78         g.drawLine(0, j, dimension.width, j);
79     }
80
81     public void setText(String JavaDoc s)
82     {
83         headerText = s;
84         repaint();
85     }
86 }
87
Popular Tags