Searched refs:browser (Results 1 – 12 of 12) sorted by relevance
37 import org.eclipse.ui.browser.IWebBrowser;113 IWebBrowser browser = workbench.getBrowserSupport().getExternalBrowser(); in showWebPage() local114 browser.openURL(new URL(URL)); in showWebPage()
35 import org.eclipse.ui.browser.IWebBrowser;115 IWebBrowser browser = workbench.getBrowserSupport().getExternalBrowser(); in widgetSelected() local116 browser.openURL(new URL(event.text)); in widgetSelected()
5 After open, a browser is shown with this URL:
39 import org.eclipse.ui.internal.browser.WebBrowserEditor;272 WebBrowserEditor browser = (WebBrowserEditor) newEditor; in checkXmlNavigation() local273 Field field = browser.getClass().getDeclaredField("initialURL"); in checkXmlNavigation()
40 import org.eclipse.ui.browser.IWebBrowser;285 IWebBrowser browser = workbench.getBrowserSupport().getExternalBrowser(); in widgetSelected() local286 browser.openURL(new URL(URL)); in widgetSelected()
48 import org.eclipse.ui.browser.IWorkbenchBrowserSupport;57 import org.eclipse.ui.internal.browser.WorkbenchBrowserSupport;
68 import org.eclipse.ui.browser.IWorkbenchBrowserSupport;78 import org.eclipse.ui.internal.browser.WorkbenchBrowserSupport;
51 import org.eclipse.ui.browser.IWebBrowser;733 IWebBrowser browser = workbench.getBrowserSupport().getExternalBrowser(); in addWorkaround()734 browser.openURL(new URL(event.text)); in addWorkaround()
94 import org.eclipse.ui.browser.IWebBrowser;95 import org.eclipse.ui.browser.IWorkbenchBrowserSupport;1940 IWebBrowser browser;1942 browser = support.createBrowser(PLUGIN_ID);1943 browser.openURL(url);
43 org.eclipse.ui.browser,