use new utility class for platform info

[jalview.git] / src / jalview / gui / Preferences.java

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index d1aa72c..b16cf50 100755 (executable)
--- 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;