2.5.1 release branding

[jalview.git] / src / jalview / gui / FeatureSettings.java

diff --git a/src/jalview/gui/FeatureSettings.java b/src/jalview/gui/FeatureSettings.java
index 8c15662..b307b73 100755 (executable)
--- a/src/jalview/gui/FeatureSettings.java
+++ b/src/jalview/gui/FeatureSettings.java
@@ -1,5 +1,5 @@
 /*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.5)
+ * Jalview - A Sequence Alignment Editor and Viewer (Version 2.5.1)
  * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle
  * 
  * This file is part of Jalview.
@@ -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()
             {