git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 963abee)
Use a label with html instead of textarea
authoramwaterhouse <Andrew Waterhouse>
Wed, 7 Jun 2006 12:55:42 +0000 (12:55 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 7 Jun 2006 12:55:42 +0000 (12:55 +0000)
src/jalview/jbgui/GUserDefinedColours.java patch | blob | history

diff --git a/src/jalview/jbgui/GUserDefinedColours.java b/src/jalview/jbgui/GUserDefinedColours.java
index 131f202..8d74445 100755 (executable)
--- a/src/jalview/jbgui/GUserDefinedColours.java
+++ b/src/jalview/jbgui/GUserDefinedColours.java
@@ -56,7 +56,7 @@ public class GUserDefinedColours extends JPanel
   JPanel jPanel4 = new JPanel();\r
   BorderLayout borderLayout5 = new BorderLayout();\r
   JPanel jPanel6 = new JPanel();\r
-  JTextArea jTextArea1 = new JTextArea();\r
+  JLabel label = new JLabel();\r
   /**\r
      * Creates a new GUserDefinedColours object.\r
      */\r
@@ -153,15 +153,13 @@ public class GUserDefinedColours extends JPanel
     jPanel6.setOpaque(false);\r
     jPanel6.setPreferredSize(new Dimension(10, 45));\r
     jPanel6.setLayout(null);\r
-    jTextArea1.setFont(new java.awt.Font("Verdana", Font.ITALIC, 10));\r
-    jTextArea1.setOpaque(false);\r
-    jTextArea1.setPreferredSize(new Dimension(260, 34));\r
-    jTextArea1.setText(\r
-        "Save your colour scheme with a unique name and it will be added " +\r
-        "to the Colour menu.");\r
-    jTextArea1.setLineWrap(true);\r
-    jTextArea1.setRows(2);\r
-    jTextArea1.setWrapStyleWord(true);\r
+    label.setFont(new java.awt.Font("Verdana", Font.ITALIC, 10));\r
+    label.setOpaque(false);\r
+    label.setPreferredSize(new Dimension(260, 34));\r
+    label.setText(\r
+        "<html>Save your colour scheme with a unique name and it will be added " +\r
+        "to the Colour menu.</html>");\r
+\r
     jPanel3.add(savebutton);\r
     jPanel3.add(loadbutton);\r
     jPanel1.add(applyButton);\r
@@ -175,7 +173,7 @@ public class GUserDefinedColours extends JPanel
     panel1.add(namePanel, null);\r
     panel1.add(buttonPanel, null);\r
     panel1.add(jPanel2, null);\r
-    panel1.add(jTextArea1);\r
+    panel1.add(label);\r
 \r
     jPanel4.add(panel1, java.awt.BorderLayout.CENTER);\r
     jPanel4.add(jPanel6, java.awt.BorderLayout.NORTH);\r