src/jalview/bin/JalviewJS.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.JalviewJSUtil;
  29 import jalview.util.Platform;
  30
  31 public class JalviewJS
  32 {
  33   static
  34   {
  35     JalviewJSUtil.getURLCommandArguments();
  36     Platform.addJ2SDirectDatabaseCall("https://www.jalview.org");
  37     Platform.addJ2SDirectDatabaseCall("http://www.jalview.org");
  38     Platform.addJ2SDirectDatabaseCall("http://www.compbio.dundee.ac.uk");
  39     Platform.addJ2SDirectDatabaseCall("https://www.compbio.dundee.ac.uk");
  40   }
  41
  42   public static void main(String[] args) throws Exception
  43   {
  44     Jalview.main(args);
  45     // showFocusTimer();
  46   }
  47
  48   protected static int focusTime = 0;
  49
  50   private static void showFocusTimer()
  51   {
  52     if (Platform.isJS())
  53     {
  54       Timer t = new Timer(100, new ActionListener()
  55       {
  56
  57         @Override
  58         public void actionPerformed(ActionEvent e)
  59         {
  60           String s = /** @j2sNative document.activeElement.id || */
  61                   null;
  62
  63           s += " " + (++focusTime);
  64
  65           /** @j2sNative document.title = s; */
  66         }
  67
  68       });
  69
  70       t.setRepeats(true);
  71       t.start();
  72     }
  73   }
  74 }