KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > ui > internal > browser > InternalBrowserEditorInstance


1 /*******************************************************************************
2  * Copyright (c) 2005 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Eclipse Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/epl-v10.html
7  *
8  * Contributors:
9  * IBM Corporation - Initial API and implementation
10  *******************************************************************************/
11 package org.eclipse.ui.internal.browser;
12
13 import java.net.URL JavaDoc;
14
15 import org.eclipse.ui.IEditorPart;
16 import org.eclipse.ui.IWorkbenchPage;
17 import org.eclipse.ui.IWorkbenchWindow;
18 import org.eclipse.ui.PartInitException;
19 /**
20  * An instance of a running Web browser.
21  */
22 public class InternalBrowserEditorInstance extends InternalBrowserInstance {
23
24     public InternalBrowserEditorInstance(String JavaDoc id, int style, String JavaDoc name, String JavaDoc tooltip) {
25         super(id, style, name, tooltip);
26     }
27
28     public void openURL(URL JavaDoc url) throws PartInitException {
29         WebBrowserEditorInput input = new WebBrowserEditorInput(url, style);
30         input.setName(this.name);
31         input.setToolTipText(this.tooltip);
32         WebBrowserEditor editor = (WebBrowserEditor)part;
33         
34         IWorkbenchWindow workbenchWindow = WebBrowserUIPlugin.getInstance().getWorkbench().getActiveWorkbenchWindow();
35         IWorkbenchPage page = null;
36         if (workbenchWindow != null)
37             page = workbenchWindow.getActivePage();
38         
39         if (page == null)
40             throw new PartInitException(Messages.errorCouldNotLaunchInternalWebBrowser);
41         
42         if (editor != null) {
43             editor.init(editor.getEditorSite(), input);
44             page.activate(editor);
45         } else {
46             try {
47                 IEditorPart editorPart = page.openEditor(input, WebBrowserEditor.WEB_BROWSER_EDITOR_ID);
48                 hookPart(page, editorPart);
49             } catch (Exception JavaDoc e) {
50                 Trace.trace(Trace.SEVERE, "Error opening Web browser", e); //$NON-NLS-1$
51 }
52         }
53     }
54
55     public boolean close() {
56         try {
57             return ((WebBrowserEditor)part).close();
58         } catch (Exception JavaDoc e) {
59             return false;
60         }
61     }
62 }
Popular Tags