{
if (Platform.isJS())
{
- Platform.openURL(url);
+ try {
+ Platform.openURL(url);
+ } catch (Throwable t) {
+ System.err.println("Couldn't open "+url);
+ System.err.print(t.getStackTrace());
+ }
return;
}
else
return "jalview.default.browser";
}
-}
\ No newline at end of file
+}