jog pixels for OSX

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index 4192b48..105f28f 100755 (executable)
--- 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);