From 98c91f0659633010ec6ff12d7dd9352270acd2c7 Mon Sep 17 00:00:00 2001 From: Greg Lewis Date: Sun, 15 Feb 2009 03:19:44 +0000 Subject: . Update to 3.4.1 (from eclipse-devel). --- ...e-src-org-eclipse-help-internal-browser-BrowserManager.java | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 java/eclipse/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-browser-BrowserManager.java (limited to 'java/eclipse/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-browser-BrowserManager.java') diff --git a/java/eclipse/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-browser-BrowserManager.java b/java/eclipse/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-browser-BrowserManager.java new file mode 100644 index 000000000000..8593aa68f156 --- /dev/null +++ b/java/eclipse/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-browser-BrowserManager.java @@ -0,0 +1,10 @@ +--- plugins/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java.orig 2008-08-02 15:35:43.000000000 -0400 ++++ plugins/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java 2008-08-02 15:35:12.000000000 -0400 +@@ -94,6 +94,7 @@ + } else if (Constants.OS_AIX.equalsIgnoreCase(os) + || (Constants.OS_HPUX.equalsIgnoreCase(os)) + || (Constants.OS_LINUX.equalsIgnoreCase(os)) ++ || (Constants.OS_FREEBSD.equalsIgnoreCase(os)) + || (Constants.OS_SOLARIS.equalsIgnoreCase(os))) { + setDefaultBrowserID(BROWSER_ID_MOZILLA); + if (defaultBrowserDesc == null) { -- cgit v1.2.3