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.Graphics;
  24 import java.awt.Insets;
  25 import java.awt.Panel;
  26 import java.awt.event.WindowAdapter;
  27 import java.awt.event.WindowEvent;
  28
  29 public class TitledPanel extends Panel
  30 {
  31
  32   private String title;
  33
  34   private Insets insets = new Insets(10, 10, 10, 10);
  35
  36   public TitledPanel()
  37   {
  38     this("");
  39   }
  40
  41   public TitledPanel(String title)
  42   {
  43     this.setTitle(title);
  44   }
  45
  46   public Insets getInsets()
  47   {
  48     return insets;
  49   }
  50
  51   public void paint(Graphics g)
  52   {
  53     super.paint(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);
  61   }
  62
  63   public String getTitle()
  64   {
  65     return title;
  66   }
  67
  68   public void setTitle(String title)
  69   {
  70     this.title = title;
  71   }
  72 }