X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;fp=src%2Fjalview%2Fgui%2FDesktop.java;h=15540797f635b3b7e64e4bcc235fcf22a0041a6f;hb=2810f6cc6d3d820dde63b324efb1c8119ec2a818;hp=f1b80250086a50dbcca54161e733c128d226a339;hpb=c8fa8a8916f70196f3a687e6403ac4889771da77;p=jalview.git

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index f1b8025..1554079 100644
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -350,7 +350,7 @@ public class Desktop extends jalview.jbgui.GDesktop
      * are spawned off as threads rather than waited for during this constructor.
      */
     instance = this;
-    if (!Jalview.isJS())
+    if (!Platform.isJS())
     {
       doVamsasClientCheck();
     }
@@ -374,7 +374,7 @@ public class Desktop extends jalview.jbgui.GDesktop
     // getContentPane().add(sp, BorderLayout.CENTER);
     
     // BH 2018 - just an experiment to try unclipped JInternalFrames. 
-	if (Jalview.isJS()) 
+	if (Platform.isJS()) 
 	{
 	  getRootPane().putClientProperty("swingjs.overflow.hidden", "false");
 	}
@@ -404,7 +404,7 @@ public class Desktop extends jalview.jbgui.GDesktop
       setBounds(xPos, yPos, 900, 650);
     }
     
-    boolean doFullLoad = /** @j2sNative ! */true;
+    boolean doFullLoad = !Platform.isJS();
     
     if (doFullLoad) {
       
@@ -882,8 +882,7 @@ public class Desktop extends jalview.jbgui.GDesktop
     frame.setResizable(resizable);
     frame.setMaximizable(resizable);
     frame.setIconifiable(resizable);
-    frame.setOpaque(/** @j2sNative true || */
-            false);
+    frame.setOpaque(Platform.isJS()); // BH this should not be necessary
 
     if (frame.getX() < 1 && frame.getY() < 1)
     {
@@ -1178,7 +1177,7 @@ public class Desktop extends jalview.jbgui.GDesktop
      */
     JComponent history;
     String urlBase = "http://www.";
-    if (Jalview.isJS())
+    if (Platform.isJS())
     {
       history = new JTextField(urlBase, 35);
     }
@@ -1206,7 +1205,7 @@ public class Desktop extends jalview.jbgui.GDesktop
       @Override
       public void run()
       {
-        String url = Jalview.isJS() ? ((JTextField) history).getText()
+        String url = Platform.isJS() ? ((JTextField) history).getText()
                 : ((JComboBox<String>) history).getSelectedItem()
                         .toString();
 
@@ -1431,7 +1430,7 @@ public class Desktop extends jalview.jbgui.GDesktop
   {
     try
     {
-      if (Jalview.isJS())
+      if (Platform.isJS())
       {
         BrowserLauncher.openURL("http://www.jalview.org/help.html");
       }
@@ -2087,7 +2086,7 @@ public class Desktop extends jalview.jbgui.GDesktop
   /**
    * import file into a new vamsas session (uses jalview.gui.VamsasApplication)
    * 
-   * @param file
+   * @param fileName
    * @return true if import was a success and a session was started.
    */
   public boolean vamsasImport(URL url)