X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPreferences.java;h=b16cf501c2157e62f8822feebd6c4e29917c20a3;hb=942de34caf73a7d61104783c8d278c32eaf6b65d;hp=d1aa72c025aa1c912fa7c4ae71f4ff639cf2fdea;hpb=21192459d39a4ee022f47d5b1fdb28f726557426;p=jalview.git

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index d1aa72c..b16cf50 100755
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -78,7 +78,7 @@ public class Preferences
     dasPanel.add(dasSource, BorderLayout.CENTER);
 
     int width = 500, height = 420;
-    if (System.getProperty("os.name").startsWith("Mac"))
+    if (new jalview.util.Platform().isAMac())
     {
       width = 570;
       height = 460;