src/jalview/util/BrowserLauncher.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.util;
  22
  23 import java.awt.Desktop;
  24 import java.io.IOException;
  25 import java.net.URI;
  26 import java.net.URISyntaxException;
  27 import java.util.ArrayList;
  28 import java.util.List;
  29
  30 import jalview.bin.Cache;
  31 import jalview.bin.Console;
  32
  33 public class BrowserLauncher
  34 {
  35   private static BrowserLauncher INSTANCE = null;
  36
  37   private static String preferredBrowser = null;
  38
  39   public static BrowserLauncher getInstance()
  40   {
  41     if (INSTANCE != null)
  42     {
  43       return INSTANCE;
  44     }
  45     INSTANCE = new BrowserLauncher();
  46     return INSTANCE;
  47   }
  48
  49   public static void openURL(String url)
  50   {
  51     if (Platform.isJS())
  52     {
  53       Platform.openURL(url);
  54       return;
  55     }
  56     else
  57     /**
  58      * Java only
  59      *
  60      * @j2sIgnore
  61      */
  62     {
  63       Desktop d = Desktop.getDesktop();
  64       if (d != null && d.isSupported(Desktop.Action.BROWSE))
  65       {
  66         try
  67         {
  68           d.browse(new URI(url));
  69         } catch (IOException e)
  70         {
  71           Console.warn(MessageManager.formatMessage(
  72                   "exception.browser_unable_to_launch", url));
  73           Console.warn(e.getMessage());
  74           Console.debug(Cache.getStackTraceString(e));
  75         } catch (URISyntaxException e1)
  76         {
  77           Console.warn(MessageManager.formatMessage(
  78                   "exception.browser_unable_to_launch", url));
  79           Console.warn(e1.getMessage());
  80           Console.debug(Cache.getStackTraceString(e1));
  81         }
  82       }
  83       else
  84       {
  85         Console.warn(MessageManager
  86                 .formatMessage("exception.browser_os_not_supported", url));
  87       }
  88     }
  89   }
  90
  91   public static void resetBrowser()
  92   {
  93     resetBrowser(false);
  94   }
  95
  96   public static void resetBrowser(boolean removeIfNull)
  97   {
  98     String defaultBrowser = Cache.getProperty("DEFAULT_BROWSER");
  99     preferredBrowser = defaultBrowser;
 100     // System.setProperty(getBrowserSystemProperty(),
 101     // Cache.getProperty("DEFAULT_BROWSER"));
 102     if (defaultBrowser == null && removeIfNull)
 103     {
 104       // System.clearProperty(getBrowserSystemProperty());
 105     }
 106
 107   }
 108
 109   public static List<String> getBrowserList()
 110   {
 111     return new ArrayList<String>();
 112   }
 113
 114   public static String getBrowserSystemProperty()
 115   {
 116     // return IBrowserLaunching.BROWSER_SYSTEM_PROPERTY;
 117     return "jalview.default.browser";
 118   }
 119
 120 }