From df27351beb93456a00c6c2ae80ce999749f3b596 Mon Sep 17 00:00:00 2001 From: jprocter Date: Wed, 9 Jun 2010 12:09:59 +0000 Subject: [PATCH] patch for JAL-555 --- src/jalview/gui/FeatureSettings.java | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/jalview/gui/FeatureSettings.java b/src/jalview/gui/FeatureSettings.java index 8c15662..6000fb6 100755 --- a/src/jalview/gui/FeatureSettings.java +++ b/src/jalview/gui/FeatureSettings.java @@ -163,7 +163,13 @@ public class FeatureSettings extends JPanel frame = new JInternalFrame(); frame.setContentPane(this); - Desktop.addInternalFrame(frame, "Sequence Feature Settings", 400, 450); + if (new jalview.util.Platform().isAMac()) + { + Desktop.addInternalFrame(frame, "Sequence Feature Settings", 475, 480); + } else { + Desktop.addInternalFrame(frame, "Sequence Feature Settings", 400, 450); + } + frame .addInternalFrameListener(new javax.swing.event.InternalFrameAdapter() { -- 1.7.10.2