more iterators out; some time checks

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

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 6599cb9..30c37de 100644 (file)
--- 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,12 +374,9 @@ public class Desktop extends jalview.jbgui.GDesktop
     // getContentPane().add(sp, BorderLayout.CENTER);
     
     // BH 2018 - just an experiment to try unclipped JInternalFrames. 
-    // Must set for all three to be active:
-       if (Jalview.isJS()) 
+       if (Platform.isJS()) 
        {
          getRootPane().putClientProperty("swingjs.overflow.hidden", "false");
-         ((JComponent) getContentPane()).putClientProperty("swingjs.overflow.hidden", "false");
-         desktop.putClientProperty("swingjs.overflow.hidden", "false");
        }
     
     getContentPane().add(desktop, BorderLayout.CENTER);
@@ -388,8 +385,8 @@ public class Desktop extends jalview.jbgui.GDesktop
     // This line prevents Windows Look&Feel resizing all new windows to maximum
     // if previous window was maximised
     desktop.setDesktopManager(new MyDesktopManager(
-            (Platform.isWindows() ? new DefaultDesktopManager()
-                    : Platform.isAMac()
+            (Platform.isWindowsAndNotJS() ? new DefaultDesktopManager()
+                    : Platform.isAMacAndNotJS()
                             ? new AquaInternalFrameManager(
                                     desktop.getDesktopManager())
                             : desktop.getDesktopManager())));
@@ -1181,7 +1178,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);
     }
@@ -1209,7 +1206,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();
 
@@ -1434,7 +1431,7 @@ public class Desktop extends jalview.jbgui.GDesktop
   {
     try
     {
-      if (Jalview.isJS())
+      if (Platform.isJS())
       {
         BrowserLauncher.openURL("http://www.jalview.org/help.html");
       }
@@ -1751,7 +1748,7 @@ public class Desktop extends jalview.jbgui.GDesktop
       {
         File selectedFile = chooser.getSelectedFile();
         setProjectFile(selectedFile);
-        final String choice = selectedFile.getAbsolutePath();
+        String choice = selectedFile.getAbsolutePath();
         Cache.setProperty("LAST_DIRECTORY", selectedFile.getParent());
         new Thread(new Runnable()
         {
@@ -1765,7 +1762,7 @@ public class Desktop extends jalview.jbgui.GDesktop
               }
               else
               {
-                new jalview.project.Jalview2XML().loadJalviewAlign(choice);
+                new jalview.project.Jalview2XML().loadJalviewAlign(selectedFile);
               }
             } catch (OutOfMemoryError oom)
             {
@@ -2804,6 +2801,8 @@ public class Desktop extends jalview.jbgui.GDesktop
   @Override
   public void setProgressBar(String message, long id)
   {
+           Platform.timeCheck("Desktop " + message, Platform.TIME_MARK);     
+
     if (progressBars == null)
     {
       progressBars = new Hashtable<>();
@@ -3479,7 +3478,7 @@ public class Desktop extends jalview.jbgui.GDesktop
         }
         else
         {
-          if (Platform.isAMac())
+          if (Platform.isAMacAndNotJS())
           {
             System.err.println(
                     "Please ignore plist error - occurs due to problem with java 8 on OSX");
@@ -3596,8 +3595,7 @@ public class Desktop extends jalview.jbgui.GDesktop
         }
       }
     }
-    if (Platform.isWindows())
-
+    if (Platform.isWindowsAndNotJS())
     {
       Cache.log.debug("Scanning dropped content for Windows Link Files");