Clover icon

Coverage Report

  1. Project Clover database Thu Dec 4 2025 16:11:35 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
72
42
6
0.46
2.17
6
1

Classes

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