From f8d0fb91bae48f3e22d71996ed8273de152ceed2 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 9 Jun 2006 16:22:32 +0000
Subject: [PATCH] Size adjustments for MacOSX

---
 src/jalview/gui/Preferences.java |   11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

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));
-- 
1.7.10.2