JAL-1807 still testing

[jalviewjs.git] / unused / appletgui / TitledPanel.java

diff --git a/unused/appletgui/TitledPanel.java b/unused/appletgui/TitledPanel.java
index 05f0a4f..a1adb14 100644 (file)
--- a/unused/appletgui/TitledPanel.java
+++ b/unused/appletgui/TitledPanel.java
@@ -1,75 +1,75 @@
-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
 }
\ No newline at end of file