From 92c253b4b037e45afffeb1e34f89d0b825ba3225 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 17 Aug 2005 14:11:34 +0000
Subject: [PATCH] Set size for mac users

---
 src/jalview/gui/UserDefinedColours.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jalview/gui/UserDefinedColours.java b/src/jalview/gui/UserDefinedColours.java
index 044069e..2182b2c 100755
--- a/src/jalview/gui/UserDefinedColours.java
+++ b/src/jalview/gui/UserDefinedColours.java
@@ -68,7 +68,7 @@ public class UserDefinedColours extends GUserDefinedColours
 
         if (System.getProperty("os.name").startsWith("Mac"))
         {
-            frame.setSize(450, 560);
+            frame.setSize(760, 370);
         }
 
         if (sg != null)
-- 
1.7.10.2