diff options
| author | Kurt Jaeger <pi@FreeBSD.org> | 2020-01-02 11:19:08 +0000 |
|---|---|---|
| committer | Kurt Jaeger <pi@FreeBSD.org> | 2020-01-02 11:19:08 +0000 |
| commit | ec45db21d54b46f0465611d418736dfe4d104dec (patch) | |
| tree | 5892c947d7bfcd08dfca64745ea7321551c78307 /java/eclipse/files/patch-eclipse.platform.ua | |
| parent | Attempt to fix build after removal of Linux c6. (diff) | |
java/eclipse: upgrade 4.12 -> 4.14
PR: 243017
Submitted by: Jonathan Chen <jonc@chen.org.nz> (maintainer)
Relnotes: https://www.eclipse.org/eclipseide/2019-12/noteworthy/
Diffstat (limited to 'java/eclipse/files/patch-eclipse.platform.ua')
| -rw-r--r-- | java/eclipse/files/patch-eclipse.platform.ua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/java/eclipse/files/patch-eclipse.platform.ua b/java/eclipse/files/patch-eclipse.platform.ua index d9d97c609d16..8254318a47c3 100644 --- a/java/eclipse/files/patch-eclipse.platform.ua +++ b/java/eclipse/files/patch-eclipse.platform.ua @@ -35,15 +35,15 @@ diff -ru eclipse.platform.ua/org.eclipse.help.base/src/org/eclipse/help/internal prefs .put("custom_browser_path", //$NON-NLS-1$ "\"C:\\Program Files\\Internet Explorer\\IEXPLORE.EXE\" %1"); //$NON-NLS-1$ -- } else if (os.indexOf("linux") != -1) { //$NON-NLS-1$ -+ } else if (os.indexOf("linux") != -1 || os.indexOf("freebsd") != -1) { //$NON-NLS-1$ +- } else if (os.contains("linux")) { //$NON-NLS-1$ ++ } else if (os.contains("linux") || os.contains("freebsd")) { //$NON-NLS-1$ prefs.put("custom_browser_path", //$NON-NLS-1$ "konqueror %1"); //$NON-NLS-1$ } else { diff -ru eclipse.platform.ua/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java eclipse.platform.ua/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java --- eclipse.platform.ua/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java 0000-00-00 00:00:00.000000000 +0000 +++ eclipse.platform.ua/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java 0000-00-00 00:00:00.000000000 +0000 -@@ -103,6 +103,7 @@ +@@ -102,6 +102,7 @@ setDefaultBrowserID(BROWSER_ID_SYSTEM); } else if (Constants.OS_AIX.equalsIgnoreCase(os) || (Constants.OS_HPUX.equalsIgnoreCase(os)) |