| commit | 71ac6578e2fa756e98639527032420abe168bf6b | [log] [tgz] |
|---|---|---|
| author | Curtis D'Entremont <curtispd> | Tue Sep 19 23:08:36 2006 +0000 |
| committer | Curtis D'Entremont <curtispd> | Tue Sep 19 23:08:36 2006 +0000 |
| tree | 859cb0acd4c759d2133898a5a53ce78603dbcc7d | |
| parent | 8518a4c6b2f05296c0aad7434a40a2361403ec78 [diff] |
132889 [Browser] DefaultBrowserSupport.createBrowser() creates a new one even a browser with the same browserID is already open
diff --git a/bundles/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/BrowserManager.java b/bundles/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/BrowserManager.java index 0343373..987967b 100644 --- a/bundles/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/BrowserManager.java +++ b/bundles/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/BrowserManager.java
@@ -47,8 +47,10 @@ if (!ignorePreferenceChanges && property.equals("browsers")) { //$NON-NLS-1$ loadBrowsers(); } - setChanged(); - notifyObservers(); + if (!property.equals(WebBrowserPreference.PREF_INTERNAL_WEB_BROWSER_HISTORY)) { + setChanged(); + notifyObservers(); + } } };