jog pixels for OSX
authorjprocter <Jim Procter>
Wed, 28 Apr 2010 17:01:27 +0000 (17:01 +0000)
committerjprocter <Jim Procter>
Wed, 28 Apr 2010 17:01:27 +0000 (17:01 +0000)
src/jalview/jbgui/GPreferences.java

index 4192b48..105f28f 100755 (executable)
@@ -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);