JAL-2403 redundant 'implements' removed
[jalview.git] / src / jalview / appletgui / TitledPanel.java
1 /*
2  * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3  * Copyright (C) $$Year-Rel$$ The Jalview Authors
4  * 
5  * This file is part of Jalview.
6  * 
7  * Jalview is free software: you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License 
9  * as published by the Free Software Foundation, either version 3
10  * of the License, or (at your option) any later version.
11  *  
12  * Jalview is distributed in the hope that it will be useful, but 
13  * WITHOUT ANY WARRANTY; without even the implied warranty 
14  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR 
15  * PURPOSE.  See the GNU General Public License for more details.
16  * 
17  * You should have received a copy of the GNU General Public License
18  * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
19  * The Jalview Authors are detailed in the 'AUTHORS' file.
20  */
21 package jalview.appletgui;
22
23 import java.awt.Frame;
24 import java.awt.Graphics;
25 import java.awt.Insets;
26 import java.awt.Label;
27 import java.awt.Panel;
28 import java.awt.event.WindowAdapter;
29 import java.awt.event.WindowEvent;
30
31 public class TitledPanel extends Panel
32 {
33
34   private String title;
35
36   private Insets insets = new Insets(10, 10, 10, 10);
37
38   public TitledPanel()
39   {
40     this("");
41   }
42
43   public TitledPanel(String title)
44   {
45     this.setTitle(title);
46   }
47
48   public Insets getInsets()
49   {
50     return insets;
51   }
52
53   public void paint(Graphics g)
54   {
55     super.paint(g);
56     g.setColor(getForeground());
57     g.drawRect(5, 5, getWidth() - 10, getHeight() - 10);
58     int width = g.getFontMetrics().stringWidth(getTitle());
59     g.setColor(getBackground());
60     g.fillRect(10, 0, width, 10);
61     g.setColor(getForeground());
62     g.drawString(getTitle(), 10, 10);
63   }
64
65   public static void main(String[] args)
66   {
67     Frame f = new Frame("TitledPanel Tester");
68
69     TitledPanel p = new TitledPanel("Title of Panel");
70     p.add(new Label("Label 1"));
71     p.add(new Label("Label 2"));
72     p.add(new Label("Label 3"));
73     f.add(p);
74
75     f.addWindowListener(new WindowAdapter()
76     {
77       public void windowClosing(WindowEvent e)
78       {
79         System.exit(0);
80       }
81     });
82     f.setBounds(300, 300, 300, 300);
83     f.setVisible(true);
84   }
85
86   public String getTitle()
87   {
88     return title;
89   }
90
91   public void setTitle(String title)
92   {
93     this.title = title;
94   }
95 }