From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 9 Jun 2006 16:22:32 +0000 (+0000)
Subject: Size adjustments for MacOSX
X-Git-Tag: Release_2_1~357
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=f8d0fb91bae48f3e22d71996ed8273de152ceed2;p=jalview.git

Size adjustments for MacOSX
---

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index b7905e3..ec9ea34 100755
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -81,8 +81,15 @@ public class Preferences extends GPreferences
         dasSource = new DasSourceBrowser();
         dasPanel.add(dasSource, BorderLayout.CENTER);
 
-        Desktop.addInternalFrame(frame, "Preferences", 490, 405);
-        frame.setMinimumSize(new Dimension(490,395));
+        int width = 500, height = 420;
+        if(System.getProperty("os.name").startsWith("Mac"))
+        {
+          width = 570;
+          height = 460;
+        }
+
+        Desktop.addInternalFrame(frame, "Preferences", width, height);
+        frame.setMinimumSize(new Dimension(width, height));
 
         seqLimit.setSelected(    Cache.getDefault("SHOW_JVSUFFIX", true));
         fullScreen.setSelected(  Cache.getDefault("SHOW_FULLSCREEN", false));