osx pixel tweak

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index 105f28f..c6e9bf7 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, 14, 200, 23));
+    annotations.setBounds(new Rectangle(169, 12, 200, 23));
     annotations.addActionListener(new ActionListener()
     {
       public void actionPerformed(ActionEvent e)
@@ -383,13 +383,13 @@ public class GPreferences extends JPanel
     fontLabel.setHorizontalAlignment(SwingConstants.RIGHT);
     fontLabel.setText("Font ");
     fontSizeCB.setFont(verdana11);
-    fontSizeCB.setBounds(new Rectangle(319, 101, 49, 21));
+    fontSizeCB.setBounds(new Rectangle(319, 104, 49, 23));
     fontStyleCB.setFont(verdana11);
-    fontStyleCB.setBounds(new Rectangle(367, 101, 70, 21));
+    fontStyleCB.setBounds(new Rectangle(367, 104, 70, 23));
     fontNameCB.setFont(verdana11);
-    fontNameCB.setBounds(new Rectangle(172, 101, 147, 21));
+    fontNameCB.setBounds(new Rectangle(172, 104, 147, 23));
     gapSymbolCB.setFont(verdana11);
-    gapSymbolCB.setBounds(new Rectangle(172, 204, 69, 21));
+    gapSymbolCB.setBounds(new Rectangle(172, 204, 69, 23));
     startupCheckbox.setText("Open file");
     startupCheckbox.setFont(verdana11);
     startupCheckbox.setHorizontalAlignment(SwingConstants.RIGHT);