From: jprocter <Jim Procter>
Date: Wed, 9 Jun 2010 12:09:59 +0000 (+0000)
Subject: patch for JAL-555
X-Git-Tag: Release_2_5_1~16
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=df27351beb93456a00c6c2ae80ce999749f3b596;p=jalview.git

patch for JAL-555
---

diff --git a/src/jalview/gui/FeatureSettings.java b/src/jalview/gui/FeatureSettings.java
index 8c15662..6000fb6 100755
--- a/src/jalview/gui/FeatureSettings.java
+++ b/src/jalview/gui/FeatureSettings.java
@@ -163,7 +163,13 @@ public class FeatureSettings extends JPanel
 
     frame = new JInternalFrame();
     frame.setContentPane(this);
-    Desktop.addInternalFrame(frame, "Sequence Feature Settings", 400, 450);
+    if (new jalview.util.Platform().isAMac())
+    {
+    	Desktop.addInternalFrame(frame, "Sequence Feature Settings", 475, 480);
+    } else {
+    	Desktop.addInternalFrame(frame, "Sequence Feature Settings", 400, 450);
+    }
+    
     frame
             .addInternalFrameListener(new javax.swing.event.InternalFrameAdapter()
             {