patch for JAL-555
authorjprocter <Jim Procter>
Wed, 9 Jun 2010 12:09:58 +0000 (12:09 +0000)
committerjprocter <Jim Procter>
Wed, 9 Jun 2010 12:09:58 +0000 (12:09 +0000)
src/jalview/gui/FeatureSettings.java

index 8c15662..6000fb6 100755 (executable)
@@ -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()
             {