-package jalview.appletgui;
-
-import javax.swing.JFrame;
-import java.awt.Graphics;
-import java.awt.Insets;
-import javax.swing.JLabel;
-import javax.swing.JPanel;
-import java.awt.event.WindowAdapter;
-import java.awt.event.WindowEvent;
-
-public class TitledPanel extends JPanel
-{
-
- private String title;
-
- private Insets insets = new Insets(10, 10, 10, 10);
-
- public TitledPanel()
- {
- this("");
- }
-
- public TitledPanel(String title)
- {
- this.setTitle(title);
- }
-
- public Insets getInsets()
- {
- return insets;
- }
-
- public void paint(Graphics g)
- {
- super.paint(g);
- g.setColor(getForeground());
- g.drawRect(5, 5, getWidth() - 10, getHeight() - 10);
- int width = g.getFontMetrics().stringWidth(getTitle());
- g.setColor(getBackground());
- g.fillRect(10, 0, width, 10);
- g.setColor(getForeground());
- g.drawString(getTitle(), 10, 10);
- }
-
- public static void main(String[] args)
- {
- JFrame f = new JFrame("TitledPanel Tester");
-
- TitledPanel p = new TitledPanel("Title of Panel");
- p.add(new JLabel("Label 1"));
- p.add(new JLabel("Label 2"));
- p.add(new JLabel("Label 3"));
- f.add(p);
-
- f.addWindowListener(new WindowAdapter()
- {
- public void windowClosing(WindowEvent e)
- {
- System.exit(0);
- }
- });
- f.setBounds(300, 300, 300, 300);
- f.setVisible(true);
- }
-
- public String getTitle()
- {
- return title;
- }
-
- public void setTitle(String title)
- {
- this.title = title;
- }
+package jalview.appletgui;\r
+\r
+import javax.swing.JFrame;\r
+import java.awt.Graphics;\r
+import java.awt.Insets;\r
+import javax.swing.JLabel;\r
+import javax.swing.JPanel;\r
+import java.awt.event.WindowAdapter;\r
+import java.awt.event.WindowEvent;\r
+\r
+public class TitledPanel extends JPanel\r
+{\r
+\r
+ private String title;\r
+\r
+ private Insets insets = new Insets(10, 10, 10, 10);\r
+\r
+ public TitledPanel()\r
+ {\r
+ this("");\r
+ }\r
+\r
+ public TitledPanel(String title)\r
+ {\r
+ this.setTitle(title);\r
+ }\r
+\r
+ public Insets getInsets()\r
+ {\r
+ return insets;\r
+ }\r
+\r
+ public void paint(Graphics g)\r
+ {\r
+ super.paint(g);\r
+ g.setColor(getForeground());\r
+ g.drawRect(5, 5, getWidth() - 10, getHeight() - 10);\r
+ int width = g.getFontMetrics().stringWidth(getTitle());\r
+ g.setColor(getBackground());\r
+ g.fillRect(10, 0, width, 10);\r
+ g.setColor(getForeground());\r
+ g.drawString(getTitle(), 10, 10);\r
+ }\r
+\r
+ public static void main(String[] args)\r
+ {\r
+ JFrame f = new JFrame("TitledPanel Tester");\r
+\r
+ TitledPanel p = new TitledPanel("Title of Panel");\r
+ p.add(new JLabel("Label 1"));\r
+ p.add(new JLabel("Label 2"));\r
+ p.add(new JLabel("Label 3"));\r
+ f.add(p);\r
+\r
+ f.addWindowListener(new WindowAdapter()\r
+ {\r
+ public void windowClosing(WindowEvent e)\r
+ {\r
+ System.exit(0);\r
+ }\r
+ });\r
+ f.setBounds(300, 300, 300, 300);\r
+ f.setVisible(true);\r
+ }\r
+\r
+ public String getTitle()\r
+ {\r
+ return title;\r
+ }\r
+\r
+ public void setTitle(String title)\r
+ {\r
+ this.title = title;\r
+ }\r