diff options
| author | Lars Vogel | 2020-11-03 10:32:11 +0000 |
|---|---|---|
| committer | Alexander Kurtakov | 2020-11-06 06:26:43 +0000 |
| commit | 30c3b744d1005bf68584e9131979c374dc35c422 (patch) | |
| tree | f26e72c8b44c320e70637ba9e4fa6f2f445910cd | |
| parent | 85733e46c730ad6732d81a1b8abe1fda64670d86 (diff) | |
| download | eclipse.platform.ua-30c3b744d1005bf68584e9131979c374dc35c422.tar.gz eclipse.platform.ua-30c3b744d1005bf68584e9131979c374dc35c422.tar.xz eclipse.platform.ua-30c3b744d1005bf68584e9131979c374dc35c422.zip | |
Bug 568484 - BrowserManager contains outdated code
Change-Id: I0e99363400178e3efd20666ab368601d6565e803
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
| -rw-r--r-- | org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java | 19 |
1 files changed, 2 insertions, 17 deletions
diff --git a/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java b/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java index c8448e835..37ed38676 100644 --- a/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java +++ b/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java @@ -43,12 +43,6 @@ public class BrowserManager { public static final String BROWSER_ID_FIREFOX = HelpBasePlugin.PLUGIN_ID + ".firefox"; //$NON-NLS-1$ - public static final String BROWSER_ID_MOZILLA = HelpBasePlugin.PLUGIN_ID - + ".mozilla"; //$NON-NLS-1$ - - public static final String BROWSER_ID_NETSCAPE = HelpBasePlugin.PLUGIN_ID - + ".netscape"; //$NON-NLS-1$ - public static final String BROWSER_ID_MAC_SYSTEM = HelpBasePlugin.PLUGIN_ID + ".defaultBrowserMacOSX"; //$NON-NLS-1$ @@ -101,17 +95,8 @@ public class BrowserManager { if (defaultBrowserDesc == null) { if (Constants.WS_WIN32.equalsIgnoreCase(os)) { setDefaultBrowserID(BROWSER_ID_SYSTEM); - } else if (Constants.OS_AIX.equalsIgnoreCase(os) - || (Constants.OS_HPUX.equalsIgnoreCase(os)) - || (Constants.OS_LINUX.equalsIgnoreCase(os)) - || (Constants.OS_SOLARIS.equalsIgnoreCase(os))) { - setDefaultBrowserID(BROWSER_ID_MOZILLA); - if (defaultBrowserDesc == null) { - setDefaultBrowserID(BROWSER_ID_FIREFOX); - } - if (defaultBrowserDesc == null) { - setDefaultBrowserID(BROWSER_ID_NETSCAPE); - } + } else if (Constants.OS_LINUX.equalsIgnoreCase(os)) { + setDefaultBrowserID(BROWSER_ID_FIREFOX); } else if (Constants.OS_MACOSX.equalsIgnoreCase(os)) { setDefaultBrowserID(BROWSER_ID_MAC_SYSTEM); } |