2 * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3 * Copyright (C) $$Year-Rel$$ The Jalview Authors
5 * This file is part of Jalview.
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.
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.
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.
21 package jalview.appletgui;
23 import java.awt.Graphics;
24 import java.awt.Insets;
25 import java.awt.Panel;
26 import java.awt.event.WindowAdapter;
27 import java.awt.event.WindowEvent;
29 public class TitledPanel extends Panel
34 private Insets insets = new Insets(10, 10, 10, 10);
41 public TitledPanel(String title)
46 public Insets getInsets()
51 public void paint(Graphics g)
54 g.setColor(getForeground());
55 g.drawRect(5, 5, getWidth() - 10, getHeight() - 10);
56 int width = g.getFontMetrics().stringWidth(getTitle());
57 g.setColor(getBackground());
58 g.fillRect(10, 0, width, 10);
59 g.setColor(getForeground());
60 g.drawString(getTitle(), 10, 10);
63 public String getTitle()
68 public void setTitle(String title)