diff options
Diffstat (limited to 'java/eclipse-devel/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-base-HelpBasePreferenceInitializer.java')
| -rw-r--r-- | java/eclipse-devel/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-base-HelpBasePreferenceInitializer.java | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/java/eclipse-devel/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-base-HelpBasePreferenceInitializer.java b/java/eclipse-devel/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-base-HelpBasePreferenceInitializer.java deleted file mode 100644 index f0ff37f9be50..000000000000 --- a/java/eclipse-devel/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-base-HelpBasePreferenceInitializer.java +++ /dev/null @@ -1,12 +0,0 @@ ---- plugins/org.eclipse.help.base/src/org/eclipse/help/internal/base/HelpBasePreferenceInitializer.java.orig 2008-08-02 15:30:15.000000000 -0400 -+++ plugins/org.eclipse.help.base/src/org/eclipse/help/internal/base/HelpBasePreferenceInitializer.java 2008-08-02 15:31:53.000000000 -0400 -@@ -37,6 +37,9 @@ - } else if (os.indexOf("linux") != -1) { //$NON-NLS-1$ - prefs.setDefault("custom_browser_path", //$NON-NLS-1$ - "konqueror %1"); //$NON-NLS-1$ -+ } else if (os.indexOf("freebsd") != -1) { //$NON-NLS-1$ -+ prefs.setDefault("custom_browser_path", //$NON-NLS-1$ -+ "firefox %1"); //$NON-NLS-1$ - } else { - prefs.setDefault("custom_browser_path", "mozilla %1"); //$NON-NLS-1$ //$NON-NLS-2$ - } |