X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FJalviewJS2.java;h=70e8946f49f3a84e016e4569e092d99dad29ab3d;hb=8fa69554edf6aeb278b4a4afd8e2b60264fdccd8;hp=0413bc16ee4298eb6faf66344c82c0e4889e319e;hpb=d9f0a24d9662a0b530fd79b51108dd074d03d6e0;p=jalview.git

diff --git a/src/jalview/bin/JalviewJS2.java b/src/jalview/bin/JalviewJS2.java
index 0413bc1..70e8946 100644
--- a/src/jalview/bin/JalviewJS2.java
+++ b/src/jalview/bin/JalviewJS2.java
@@ -1,5 +1,7 @@
 package jalview.bin;
 
+import jalview.util.Platform;
+
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
 
@@ -18,7 +20,7 @@ public class JalviewJS2
 
   static {
     /**
-     * --j2sNative
+     * @j2sNative
      * 
      *            thisApplet.__Info.args =
      *            ["open","examples/uniref50.fa","features",
@@ -26,12 +28,13 @@ public class JalviewJS2
      */
 
     /**
+     * set space-delimited query parameters as arguments to Jalview main
+     * 
      * @j2sNative
      * 
      *            var hr = decodeURI(document.location.href); var pos =
-     *            hr.indexOf("?"); // set space-delimited query parameters as
-     *            arguments to Jalview main if (pos > 0) {
-     *            thisApplet.__Info.args = hr.substring(pos+1).split(" "); }
+     *            hr.indexOf("?"); if (pos > 0) { thisApplet.__Info.args =
+     *            hr.substring(pos+1).split(" "); }
      */
   }
 
@@ -43,28 +46,30 @@ public class JalviewJS2
 
 protected static int focusTime = 0;
 
-private static void showFocusTimer() {
-	
-	Timer t = new Timer(100, new ActionListener() {
+  private static void showFocusTimer()
+  {
 
-		@Override
-		public void actionPerformed(ActionEvent e) {
-			String s = /** @j2sNative document.activeElement.id || */
-					null;
+    if (Platform.isJS())
+    {
+      Timer t = new Timer(100, new ActionListener()
+      {
 
-			s += " " + (++focusTime);
+        @Override
+        public void actionPerformed(ActionEvent e)
+        {
+          String s = /** @j2sNative document.activeElement.id || */
+                  null;
 
-			/** @j2sNative document.title = s; */
-		}
+          s += " " + (++focusTime);
 
-	});
+          /** @j2sNative document.title = s; */
+        }
 
-	t.setRepeats(true);
-	if (/** @j2sNative true || */
-	false)
-  {
-    t.start();
-  }
+      });
+
+      t.setRepeats(true);
+      t.start();
+    }
   }