Blame antlrworks-1.5.2-browsers.patch
|
|
a8c2ba5 |
diff -up ./src/org/antlr/xjlib/appkit/utils/BrowserLauncher.java.orig ./src/org/antlr/xjlib/appkit/utils/BrowserLauncher.java
|
|
|
a8c2ba5 |
--- ./src/org/antlr/xjlib/appkit/utils/BrowserLauncher.java.orig 2013-10-09 01:50:02.000000000 +0200
|
|
|
a8c2ba5 |
+++ ./src/org/antlr/xjlib/appkit/utils/BrowserLauncher.java 2014-07-01 23:55:10.384195029 +0200
|
|
|
46b2635 |
@@ -464,7 +464,7 @@ public class BrowserLauncher {
|
|
|
46b2635 |
case OTHER:
|
|
|
46b2635 |
default:
|
|
|
46b2635 |
// Jean Bovet: look for multiple browser in case netscape is not installed
|
|
|
46b2635 |
- browser = new String[] {"firefox", "mozilla", "netscape", "opera", "konqueror", "galeon", "firebird"};
|
|
|
a8c2ba5 |
+ browser = new String[] {"xdg-open", "firefox", "mozilla", "netscape", "opera", "konqueror", "galeon", "firebird"};
|
|
|
46b2635 |
break;
|
|
|
46b2635 |
}
|
|
|
46b2635 |
return browser;
|