From: jprocter <Jim Procter>
Date: Wed, 28 Apr 2010 17:01:27 +0000 (+0000)
Subject: jog pixels for OSX
X-Git-Tag: Release_2_5~25
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=0233fbee0ff0d7fad302aa2da743c51fd64be101;p=jalview.git

jog pixels for OSX
---

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index 4192b48..105f28f 100755
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -324,7 +324,7 @@ public class GPreferences extends JPanel
     annotations.setHorizontalTextPosition(SwingConstants.LEADING);
     annotations.setSelected(true);
     annotations.setText("Show Annotations");
-    annotations.setBounds(new Rectangle(169, 16, 200, 23));
+    annotations.setBounds(new Rectangle(169, 14, 200, 23));
     annotations.addActionListener(new ActionListener()
     {
       public void actionPerformed(ActionEvent e)
@@ -615,7 +615,7 @@ public class GPreferences extends JPanel
     visualTab.add(fontNameCB);
     visualTab.add(fontSizeCB);
     visualTab.add(fontStyleCB);
-    annsettingsPanel.setBounds(new Rectangle(173,37,300,62));
+    annsettingsPanel.setBounds(new Rectangle(173,34,300,61));
     annsettingsPanel.setLayout(new FlowLayout(FlowLayout.LEFT,0,0));
     annsettingsPanel.add(autoAnnotSettings1);
     annsettingsPanel.add(autoAnnotSettings2);