From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 12 Feb 2007 09:43:40 +0000 (+0000)
Subject: Make checkbox bigger for text on mac
X-Git-Tag: Release_2_3~350
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=12cc8cf9004b54db1b9fafa21d22d119bb874dfc;p=jalview.git

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
--- 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);