From 12cc8cf9004b54db1b9fafa21d22d119bb874dfc Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 12 Feb 2007 09:43:40 +0000
Subject: [PATCH] Make checkbox bigger for text on mac

---
 src/jalview/jbgui/GPreferences.java |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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