X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FJalviewJS2.java;h=0bfc930ceddf5e43f61cabeb6d8e897987b80715;hb=14bfc6fb57f123b815f08dbf5b35544abd33b3af;hp=ebcd2cb3e3cc0a5afa220ce0888d97ae8a2438e6;hpb=063669372384b2acf6aa2f4ae7f09f92962e2dbf;p=jalview.git diff --git a/src/jalview/bin/JalviewJS2.java b/src/jalview/bin/JalviewJS2.java index ebcd2cb..0bfc930 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,54 +20,67 @@ public class JalviewJS2 static { /** - * --j2sNative - * - * thisApplet.__Info.args = - * ["open","examples/uniref50.fa","features", - * "examples/exampleFeatures.txt"]; - */ - - /** - * set space-delimited query parameters as arguments to Jalview main + * @ could do it this way: * - * @j2sNative + * j2sNative * - * var hr = decodeURI(document.location.href); var pos = - * hr.indexOf("?"); if (pos > 0) { thisApplet.__Info.args = - * hr.substring(pos+1).split(" "); } + * J2S.thisApplet.__Info.args = [ "open","examples/uniref50.fa", + * "features","examples/exampleFeatures.txt", "noannotation" ]; */ } public static void main(String[] args) throws Exception { + if (args.length == 0) + { + args = new String[] { + // "headless", + "open", "examples/uniref50.fa", + "features", + "examples/exampleFeatures.txt" + // , "noannotation" + // , "showoverview" + // , "png", "test-bh.png" + }; + } + + // String cmds = "nodisplay -open examples/uniref50.fa -sortbytree -props + // test/jalview/io/testProps.jvprops -colour zappo " + // + "-jabaws http://www.compbio.dundee.ac.uk/jabaws -nosortbytree " + // + "-features examples/testdata/plantfdx.features -annotations + // examples/testdata/plantfdx.annotations -tree + // examples/testdata/uniref50_test_tree"; + // args = cmds.split(" "); Jalview.main(args); //showFocusTimer(); } 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(); + } }