X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGPreferences.java;fp=src%2Fjalview%2Fjbgui%2FGPreferences.java;h=1e01cc358e54987ae6d6cf07a636d7d5f7570748;hb=2810f6cc6d3d820dde63b324efb1c8119ec2a818;hp=9fc03983cce0cc8d54232fe6b6a081ec63b31062;hpb=c8fa8a8916f70196f3a687e6403ac4889771da77;p=jalview.git

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index 9fc0398..1e01cc3 100755
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -20,13 +20,13 @@
  */
 package jalview.jbgui;
 
-import jalview.bin.Jalview;
 import jalview.fts.core.FTSDataColumnPreferences;
 import jalview.fts.core.FTSDataColumnPreferences.PreferenceSource;
 import jalview.fts.service.pdb.PDBFTSRestClient;
 import jalview.gui.JvSwingUtils;
 import jalview.gui.StructureViewer.ViewerType;
 import jalview.util.MessageManager;
+import jalview.util.Platform;
 
 import java.awt.BorderLayout;
 import java.awt.Color;
@@ -329,7 +329,7 @@ public class GPreferences extends JPanel
     /*
      * See WsPreferences for the real work of configuring this tab.
      */
-    if (!Jalview.isJS())
+    if (!Platform.isJS())
     {
       wsTab.setLayout(new BorderLayout());
       tabbedPane.add(wsTab, MessageManager.getString("label.web_services"));
@@ -514,7 +514,7 @@ public class GPreferences extends JPanel
     outputTab.add(userIdWidth);
     outputTab.add(userIdWidthlabel);
     outputTab.add(modellerOutput);
-    if (!Jalview.isJS())
+    if (!Platform.isJS())
     {
       /*
        * JalviewJS doesn't support Lineart option or SVG output
@@ -1289,7 +1289,7 @@ public class GPreferences extends JPanel
     /*
      * hide Chimera options in JalviewJS
      */
-    if (Jalview.isJS()) 
+    if (Platform.isJS()) 
     {
       pathLabel.setVisible(false);
       chimeraPath.setVisible(false);
@@ -1674,7 +1674,7 @@ public class GPreferences extends JPanel
     visualTab.add(fontSizeCB);
     visualTab.add(fontStyleCB);
     
-    if (Jalview.isJS())
+    if (Platform.isJS())
     {
       startupCheckbox.setVisible(false);
       startupFileTextfield.setVisible(false);