From dc1d2d1779b2ccd4d67b2afa094f269db77732e2 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 3 Feb 2006 17:44:15 +0000
Subject: [PATCH] Slightly bigger for Mac

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

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