From 05cc1e453976137138e0d24ba0264b8e5f35b628 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 7 Jul 2006 13:03:13 +0000
Subject: [PATCH] Offsets

---
 src/jalview/jbgui/GPreferences.java |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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