Slightly bigger for Mac

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index 81acb7c..f322daa 100755 (executable)
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -76,8 +76,8 @@ public class Preferences extends GPreferences
 \r
         frame = new JInternalFrame();\r
         frame.setContentPane(this);\r
-        Desktop.addInternalFrame(frame, "Preferences", 480, 390);\r
-        frame.setMinimumSize(new Dimension(480,390));\r
+        Desktop.addInternalFrame(frame, "Preferences", 480, 395);\r
+        frame.setMinimumSize(new Dimension(480,395));\r
 \r
         seqLimit.setSelected(    Cache.getDefault("SHOW_JVSUFFIX", true));\r
         fullScreen.setSelected(  Cache.getDefault("SHOW_FULLSCREEN", false));\r