Offsets
authoramwaterhouse <Andrew Waterhouse>
Fri, 7 Jul 2006 13:03:13 +0000 (13:03 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 7 Jul 2006 13:03:13 +0000 (13:03 +0000)
src/jalview/jbgui/GPreferences.java

index 8c1eea1..d0f9b7f 100755 (executable)
@@ -26,6 +26,7 @@ import java.awt.event.*;
 import javax.swing.event.*;\r
 import java.awt.Font;\r
 import java.awt.Rectangle;\r
+import java.awt.Insets;\r
 \r
 /**\r
  * DOCUMENT ME!\r
@@ -179,7 +180,7 @@ public class GPreferences extends JPanel
     annotations.setFont(verdana11);\r
         annotations.setHorizontalAlignment(SwingConstants.RIGHT);\r
         annotations.setHorizontalTextPosition(SwingConstants.LEFT);\r
-    annotations.setMargin(new Insets(2, 4, 2, 0));\r
+    annotations.setMargin(new Insets(2, 2, 2, 0));\r
     annotations.setSelected(true);\r
         annotations.setText("Show Annotations");\r
     annotations.addActionListener(new ActionListener()\r
@@ -359,6 +360,7 @@ public class GPreferences extends JPanel
     seqLimit.setFont(verdana11);\r
     seqLimit.setHorizontalAlignment(SwingConstants.RIGHT);\r
     seqLimit.setHorizontalTextPosition(SwingConstants.LEFT);\r
+    seqLimit.setMargin(new Insets(2, 2, 2, 0));\r
     seqLimit.setText("Full Sequence Id");\r
     gridLayout3.setRows(8);\r
     smoothFont.setFont(verdana11);\r