Blame antlrworks-1.4-browsers.patch
|
|
46b2635 |
diff -up ./src/aw/org/antlr/xjlib/appkit/utils/BrowserLauncher.java.orig ./src/aw/org/antlr/xjlib/appkit/utils/BrowserLauncher.java
|
|
|
46b2635 |
--- ./src/aw/org/antlr/xjlib/appkit/utils/BrowserLauncher.java.orig 2010-05-09 21:50:20.000000000 +0200
|
|
|
46b2635 |
+++ ./src/aw/org/antlr/xjlib/appkit/utils/BrowserLauncher.java 2010-05-14 19:35:26.931240743 +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"};
|
|
|
46b2635 |
+ browser = new String[] {"xdg-open", "firefox", "mozilla", "netscape", "opera", "konqueror", "epiphany", "galeon", "firebird"};
|
|
|
46b2635 |
break;
|
|
|
46b2635 |
}
|
|
|
46b2635 |
return browser;
|