patch for JAL-555

diff --git a/src/jalview/gui/FeatureSettings.java b/src/jalview/gui/FeatureSettings.java
index 8c15662..6000fb6 100755 (executable)
--- 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()
             {