src/jalview/bin/JalviewJS2.java

   1 /*
   2  * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
   3  * Copyright (C) $$Year-Rel$$ The Jalview Authors
   4  *
   5  * This file is part of Jalview.
   6  *
   7  * Jalview is free software: you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License
   9  * as published by the Free Software Foundation, either version 3
  10  * of the License, or (at your option) any later version.
  11  *
  12  * Jalview is distributed in the hope that it will be useful, but
  13  * WITHOUT ANY WARRANTY; without even the implied warranty
  14  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
  15  * PURPOSE.  See the GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
  19  * The Jalview Authors are detailed in the 'AUTHORS' file.
  20  */
  21 package jalview.bin;
  22
  23 import jalview.util.Platform;
  24
  25 import java.awt.event.ActionEvent;
  26 import java.awt.event.ActionListener;
  27
  28 import javax.swing.Timer;
  29
  30 /**
  31  * Entry point for JalviewJS development.
  32  *
  33  *
  34  *
  35  * @author RM
  36  *
  37  */
  38 public class JalviewJS2
  39 {
  40
  41   static
  42   {
  43     /**
  44      * @j2sNative
  45      *
  46      *            J2S.thisApplet.__Info.args =
  47      *            ["open","examples/uniref50.fa","features",
  48      *            "examples/exampleFeatures.txt"];
  49      */
  50   }
  51
  52   public static void main(String[] args) throws Exception
  53   {
  54     Jalview.main(args);
  55     // showFocusTimer();
  56   }
  57
  58   protected static int focusTime = 0;
  59
  60   private static void showFocusTimer()
  61   {
  62
  63     if (Platform.isJS())
  64     {
  65       Timer t = new Timer(100, new ActionListener()
  66       {
  67
  68         @Override
  69         public void actionPerformed(ActionEvent e)
  70         {
  71           String s = /** @j2sNative document.activeElement.id || */
  72                   null;
  73
  74           s += " " + (++focusTime);
  75
  76           /** @j2sNative document.title = s; */
  77         }
  78
  79       });
  80
  81       t.setRepeats(true);
  82       t.start();
  83     }
  84   }
  85
  86 }