2 * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3 * Copyright (C) $$Year-Rel$$ The Jalview Authors
5 * This file is part of Jalview.
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.
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.
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.
23 import java.awt.Desktop;
24 import java.io.IOException;
26 import java.net.URISyntaxException;
27 import java.util.ArrayList;
28 import java.util.List;
30 import jalview.bin.Cache;
31 import jalview.bin.Console;
33 public class BrowserLauncher
35 private static BrowserLauncher INSTANCE = null;
37 private static String preferredBrowser = null;
39 public static BrowserLauncher getInstance()
45 INSTANCE = new BrowserLauncher();
49 public static void openURL(String url)
54 Platform.openURL(url);
55 } catch (Throwable t) {
56 System.err.println("Couldn't open "+url);
57 System.err.print(t.getStackTrace());
68 Desktop d = Desktop.getDesktop();
69 if (d != null && d.isSupported(Desktop.Action.BROWSE))
73 d.browse(new URI(url));
74 } catch (IOException e)
76 Console.warn(MessageManager.formatMessage(
77 "exception.browser_unable_to_launch", url));
78 Console.warn(e.getMessage());
79 Console.debug(Cache.getStackTraceString(e));
80 } catch (URISyntaxException e1)
82 Console.warn(MessageManager.formatMessage(
83 "exception.browser_unable_to_launch", url));
84 Console.warn(e1.getMessage());
85 Console.debug(Cache.getStackTraceString(e1));
90 Console.warn(MessageManager
91 .formatMessage("exception.browser_os_not_supported", url));
96 public static void resetBrowser()
101 public static void resetBrowser(boolean removeIfNull)
103 String defaultBrowser = Cache.getProperty("DEFAULT_BROWSER");
104 preferredBrowser = defaultBrowser;
105 // System.setProperty(getBrowserSystemProperty(),
106 // Cache.getProperty("DEFAULT_BROWSER"));
107 if (defaultBrowser == null && removeIfNull)
109 // System.clearProperty(getBrowserSystemProperty());
114 public static List<String> getBrowserList()
116 return new ArrayList<String>();
119 public static String getBrowserSystemProperty()
121 // return IBrowserLaunching.BROWSER_SYSTEM_PROPERTY;
122 return "jalview.default.browser";