j2sNative references moved to Platform
[jalview.git] / src / jalview / jbgui / GDesktop.java
index b301f6e..7dfc3d4 100755 (executable)
@@ -21,7 +21,6 @@
 package jalview.jbgui;
 
 import jalview.api.AlignmentViewPanel;
-import jalview.bin.Jalview;
 import jalview.io.FileFormatException;
 import jalview.util.MessageManager;
 import jalview.util.Platform;
@@ -48,17 +47,7 @@ public class GDesktop extends JFrame
 
   public static javax.swing.JTabbedPane createTabbedPane()
   {
-    // now just always return JTabbedPane
    return new javax.swing.JTabbedPane();
-//    // BH 2018 coercing jalview.jbgui.swing.JTabbedPane() for now
-//    if (/** @j2sNative false && */
-//    true)
-//    {
-//      // Java
-//      return new javax.swing.JTabbedPane();
-//    }
-//    // JavaScript
-//    return (javax.swing.JTabbedPane) (Object) new jalview.jbgui.swing.JTabbedPane();
   }
 
   
@@ -464,7 +453,7 @@ public class GDesktop extends JFrame
     FileMenu.addSeparator();
     FileMenu.add(saveAsJaxb);
     FileMenu.add(loadAsJaxb);
-    if (!Jalview.isJS()) 
+    if (!Platform.isJS()) 
     {
       FileMenu.add(saveState);
       FileMenu.add(loadState);
@@ -480,12 +469,12 @@ public class GDesktop extends JFrame
     VamsasMenu.add(vamsasSave);
     VamsasMenu.add(vamsasStop);
     toolsMenu.add(preferences);
-    if (!Jalview.isJS())
+    if (!Platform.isJS())
     {
       toolsMenu.add(showMemusage);
       toolsMenu.add(showConsole);
     }
-    if (!Jalview.isJS())
+    if (!Platform.isJS())
     {
       toolsMenu.add(showNews);
       toolsMenu.add(garbageCollect);