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 }