Make checkbox bigger for text on mac

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index dad0f7f..842ade9 100755 (executable)
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -23,6 +23,7 @@ import java.awt.event.*;
 import javax.swing.*;\r
 import javax.swing.border.*;\r
 import javax.swing.event.*;\r
+import java.awt.Rectangle;\r
 \r
 /**\r
  * DOCUMENT ME!\r
@@ -400,7 +401,7 @@ public class GPreferences
     openoverv.setHorizontalAlignment(SwingConstants.RIGHT);\r
     openoverv.setHorizontalTextPosition(SwingConstants.LEADING);\r
     openoverv.setText("Open Overview Window");\r
-    openoverv.setBounds(new Rectangle(169, 17, 152, 23));\r
+    openoverv.setBounds(new Rectangle(169, 17, 200, 23));\r
     jPanel2.add(fullScreen);\r
     jPanel2.add(annotations);\r
     jPanel2.add(seqLimit);\r