Size adjustments for MacOSX

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