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 java.awt.event.ActionEvent;
  24 import java.awt.event.ActionListener;
  25
  26 import javax.swing.Timer;
  27
  28 import jalview.util.Platform;
  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/exampleFile_2_7.jar"];
  48      */
  49   }
  50
  51   public static void main(String[] args) throws Exception
  52   {
  53     Jalview.main(args);
  54     // showFocusTimer();
  55   }
  56
  57   protected static int focusTime = 0;
  58
  59   private static void showFocusTimer()
  60   {
  61
  62     if (Platform.isJS())
  63     {
  64       Timer t = new Timer(100, new ActionListener()
  65       {
  66
  67         @Override
  68         public void actionPerformed(ActionEvent e)
  69         {
  70           String s = /** @j2sNative document.activeElement.id || */
  71                   null;
  72
  73           s += " " + (++focusTime);
  74
  75           /** @j2sNative document.title = s; */
  76         }
  77
  78       });
  79
  80       t.setRepeats(true);
  81       t.start();
  82     }
  83   }
  84
  85 }