diff options
Diffstat (limited to 'java/eclipse/files/patch-plugins-org.eclipse.help.ui-src-org-eclipse-help-ui-internal-browser-embedded-EmbeddedBrowserFactory.java')
| -rw-r--r-- | java/eclipse/files/patch-plugins-org.eclipse.help.ui-src-org-eclipse-help-ui-internal-browser-embedded-EmbeddedBrowserFactory.java | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/java/eclipse/files/patch-plugins-org.eclipse.help.ui-src-org-eclipse-help-ui-internal-browser-embedded-EmbeddedBrowserFactory.java b/java/eclipse/files/patch-plugins-org.eclipse.help.ui-src-org-eclipse-help-ui-internal-browser-embedded-EmbeddedBrowserFactory.java new file mode 100644 index 000000000000..1c368e5b065d --- /dev/null +++ b/java/eclipse/files/patch-plugins-org.eclipse.help.ui-src-org-eclipse-help-ui-internal-browser-embedded-EmbeddedBrowserFactory.java @@ -0,0 +1,12 @@ +--- plugins/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowserFactory.java.orig 2008-08-02 15:38:33.000000000 -0400 ++++ plugins/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/browser/embedded/EmbeddedBrowserFactory.java 2008-08-02 15:40:18.000000000 -0400 +@@ -61,7 +61,8 @@ + */ + private boolean test() { + if (!Constants.OS_WIN32.equalsIgnoreCase(Platform.getOS()) +- && !Constants.OS_LINUX.equalsIgnoreCase(Platform.getOS())) { ++ && !Constants.OS_LINUX.equalsIgnoreCase(Platform.getOS()) ++ && !Constants.OS_FREEBSD.equalsIgnoreCase(Platform.getOS())) { + return false; + } + if (!tested) { |
