3 import jalview.util.Platform;
5 import java.awt.event.ActionEvent;
6 import java.awt.event.ActionListener;
8 import javax.swing.Timer;
11 * Entry point for JalviewJS development.
18 public class JalviewJS2
25 * thisApplet.__Info.args =
26 * ["open","examples/uniref50.fa","features",
27 * "examples/exampleFeatures.txt"];
31 * set space-delimited query parameters as arguments to Jalview main
35 * var hr = decodeURI(document.location.href); var pos =
36 * hr.indexOf("?"); if (pos > 0) { thisApplet.__Info.args =
37 * hr.substring(pos+1).split(" "); }
41 public static void main(String[] args) throws Exception
47 protected static int focusTime = 0;
49 private static void showFocusTimer()
54 Timer t = new Timer(100, new ActionListener()
58 public void actionPerformed(ActionEvent e)
60 String s = /** @j2sNative document.activeElement.id || */
63 s += " " + (++focusTime);
65 /** @j2sNative document.title = s; */