X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPreferences.java;h=ec9ea342e4745436c4de25a1643ea944a7a32ace;hb=621a628afc1f6ee7a2778b9d0ae2729b88fe5bfd;hp=b7905e3c3907cec9b2f7b37048e392034e69a902;hpb=e44514b727077d5cd7edb5d8184ab85cbc2eed13;p=jalview.git diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java index b7905e3..ec9ea34 100755 --- a/src/jalview/gui/Preferences.java +++ b/src/jalview/gui/Preferences.java @@ -81,8 +81,15 @@ public class Preferences extends GPreferences dasSource = new DasSourceBrowser(); dasPanel.add(dasSource, BorderLayout.CENTER); - Desktop.addInternalFrame(frame, "Preferences", 490, 405); - frame.setMinimumSize(new Dimension(490,395)); + int width = 500, height = 420; + if(System.getProperty("os.name").startsWith("Mac")) + { + width = 570; + height = 460; + } + + Desktop.addInternalFrame(frame, "Preferences", width, height); + frame.setMinimumSize(new Dimension(width, height)); seqLimit.setSelected( Cache.getDefault("SHOW_JVSUFFIX", true)); fullScreen.setSelected( Cache.getDefault("SHOW_FULLSCREEN", false));