Clover icon

Coverage Report

  1. Project Clover database Fri Dec 6 2024 13:47:14 GMT
  2. Package jalview.appletgui

File TitledPanel.java

 

Coverage histogram

../../img/srcFileCovDistChart0.png
60% of files have more coverage

Code metrics

0
13
6
1
74
44
6
0.46
2.17
6
1

Classes

Class Line # Actions
TitledPanel 31 13 6
0.00%
 

Contributing tests

No tests hitting this source file were found.

Source view

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  0 toggle public TitledPanel()
39    {
40  0 this("");
41    }
42   
 
43  0 toggle public TitledPanel(String title)
44    {
45  0 this.setTitle(title);
46    }
47   
 
48  0 toggle public Insets getInsets()
49    {
50  0 return insets;
51    }
52   
 
53  0 toggle public void paint(Graphics g)
54    {
55  0 super.paint(g);
56  0 g.setColor(getForeground());
57  0 g.drawRect(5, 5, getWidth() - 10, getHeight() - 10);
58  0 int width = g.getFontMetrics().stringWidth(getTitle());
59  0 g.setColor(getBackground());
60  0 g.fillRect(10, 0, width, 10);
61  0 g.setColor(getForeground());
62  0 g.drawString(getTitle(), 10, 10);
63    }
64   
 
65  0 toggle public String getTitle()
66    {
67  0 return title;
68    }
69   
 
70  0 toggle public void setTitle(String title)
71    {
72  0 this.title = title;
73    }
74    }