osx pixel tweak
[jalview.git] / src / jalview / jbgui / GPreferences.java
index 4192b48..c6e9bf7 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, 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);
@@ -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);