diff options
author | cbrealey | 2006-08-02 20:48:36 +0000 |
---|---|---|
committer | cbrealey | 2006-08-02 20:48:36 +0000 |
commit | f5d7489351d23fb594dffddf648f36537c91fb29 (patch) | |
tree | 125a3556582217fc479f957194fc7c56afa94b6a | |
parent | de93ee47a79783adb06f3aebef8adde569889025 (diff) | |
download | webtools.webservices-f5d7489351d23fb594dffddf648f36537c91fb29.tar.gz webtools.webservices-f5d7489351d23fb594dffddf648f36537c91fb29.tar.xz webtools.webservices-f5d7489351d23fb594dffddf648f36537c91fb29.zip |
[150428] performance: The Web Services Explorer is launched with different sessions
-rw-r--r-- | bundles/org.eclipse.wst.ws.explorer/src/org/eclipse/wst/ws/internal/explorer/WSExplorer.java | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/bundles/org.eclipse.wst.ws.explorer/src/org/eclipse/wst/ws/internal/explorer/WSExplorer.java b/bundles/org.eclipse.wst.ws.explorer/src/org/eclipse/wst/ws/internal/explorer/WSExplorer.java index 2a5676d56..db2e1c5a8 100644 --- a/bundles/org.eclipse.wst.ws.explorer/src/org/eclipse/wst/ws/internal/explorer/WSExplorer.java +++ b/bundles/org.eclipse.wst.ws.explorer/src/org/eclipse/wst/ws/internal/explorer/WSExplorer.java @@ -32,6 +32,8 @@ public class WSExplorer { private static int launchOptionsKey_ = 0; + private IWebBrowser internalBrowser_ = null; + public WSExplorer() { } @@ -114,15 +116,18 @@ public class WSExplorer { IWorkbenchBrowserSupport browserSupport = ExplorerPlugin.getInstance().getWorkbench().getBrowserSupport(); IWebBrowser browser = null; - if (forceLaunchOutsideIDE) + if (forceLaunchOutsideIDE) { browser = browserSupport.getExternalBrowser(); + } else { // browserId StringBuffer browserId = new StringBuffer(); browserId.append(ExplorerPlugin.ID); browserId.append(getContextName()); - browser = browserSupport.createBrowser(browserId.toString()); + if (internalBrowser_==null) + internalBrowser_ = browserSupport.createBrowser(browserId.toString()); + browser = internalBrowser_; } browser.openURL(new URL(sb.toString())); |