diff options
| author | Kurt Jaeger <pi@FreeBSD.org> | 2019-04-14 09:14:32 +0000 |
|---|---|---|
| committer | Kurt Jaeger <pi@FreeBSD.org> | 2019-04-14 09:14:32 +0000 |
| commit | 765525b60a7094d21911f9cf3bca389d03aca79f (patch) | |
| tree | fed51259f984e2e19a3483723393a0b30bdace58 /java/eclipse/files/patch-eclipse.platform.ua | |
| parent | net/radvd: Update to 2.18 (diff) | |
java/eclipse: update 4.6 -> 4.11, submitter becomes maintainer
- port is rewritten from scratch
- Warning: UI widgets are oddly sized, currently under investigation
PR: 236792
Submitted by: Jonathan Chen <jonc@chen.org.nz>
Reviewed by: mizhka@gmail.com, Curtis Hamilton
Approved by: ljboiler@gmail.com (maintainer timeout)
Relnotes: https://www.eclipse.org/eclipseide/2019-03/noteworthy/
Diffstat (limited to 'java/eclipse/files/patch-eclipse.platform.ua')
| -rw-r--r-- | java/eclipse/files/patch-eclipse.platform.ua | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/java/eclipse/files/patch-eclipse.platform.ua b/java/eclipse/files/patch-eclipse.platform.ua new file mode 100644 index 000000000000..d9d97c609d16 --- /dev/null +++ b/java/eclipse/files/patch-eclipse.platform.ua @@ -0,0 +1,64 @@ +diff -ru eclipse.platform.ua/org.eclipse.help.base/plugin.xml eclipse.platform.ua/org.eclipse.help.base/plugin.xml +--- eclipse.platform.ua/org.eclipse.help.base/plugin.xml 0000-00-00 00:00:00.000000000 +0000 ++++ eclipse.platform.ua/org.eclipse.help.base/plugin.xml 0000-00-00 00:00:00.000000000 +0000 +@@ -131,7 +131,7 @@ + </parameter> + <parameter + name="os" +- value="Linux,AIX,HP,SunOS"> ++ value="FreeBSD,Linux,AIX,HP,SunOS"> + </parameter> + </factoryclass> + </browser> +@@ -150,7 +150,7 @@ + </parameter> + <parameter + name="os" +- value="Linux,AIX,HP,SunOS"> ++ value="FreeBSD,Linux,AIX,HP,SunOS"> + </parameter> + </factoryclass> + </browser> +@@ -169,7 +169,7 @@ + </parameter> + <parameter + name="os" +- value="Linux,AIX,HP,SunOS"> ++ value="FreeBSD,Linux,AIX,HP,SunOS"> + </parameter> + </factoryclass> + </browser> +diff -ru eclipse.platform.ua/org.eclipse.help.base/src/org/eclipse/help/internal/base/HelpBasePreferenceInitializer.java eclipse.platform.ua/org.eclipse.help.base/src/org/eclipse/help/internal/base/HelpBasePreferenceInitializer.java +--- eclipse.platform.ua/org.eclipse.help.base/src/org/eclipse/help/internal/base/HelpBasePreferenceInitializer.java 0000-00-00 00:00:00.000000000 +0000 ++++ eclipse.platform.ua/org.eclipse.help.base/src/org/eclipse/help/internal/base/HelpBasePreferenceInitializer.java 0000-00-00 00:00:00.000000000 +0000 +@@ -35,7 +35,7 @@ + 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$ + 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 @@ + setDefaultBrowserID(BROWSER_ID_SYSTEM); + } else if (Constants.OS_AIX.equalsIgnoreCase(os) + || (Constants.OS_HPUX.equalsIgnoreCase(os)) ++ || (Constants.OS_FREEBSD.equalsIgnoreCase(os)) + || (Constants.OS_LINUX.equalsIgnoreCase(os)) + || (Constants.OS_SOLARIS.equalsIgnoreCase(os))) { + setDefaultBrowserID(BROWSER_ID_MOZILLA); +diff -ru eclipse.platform.ua/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowserFactory.java eclipse.platform.ua/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowserFactory.java +--- eclipse.platform.ua/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowserFactory.java 0000-00-00 00:00:00.000000000 +0000 ++++ eclipse.platform.ua/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowserFactory.java 0000-00-00 00:00:00.000000000 +0000 +@@ -67,6 +67,7 @@ + */ + private boolean test() { + if (!Constants.OS_WIN32.equalsIgnoreCase(Platform.getOS()) ++ && !Constants.OS_FREEBSD.equalsIgnoreCase(Platform.getOS()) + && !Constants.OS_LINUX.equalsIgnoreCase(Platform.getOS())) { + return false; + } |