X-Git-Url: http://git.phpeclipse.com diff --git a/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/internal/WebBrowserEditor.java b/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/internal/WebBrowserEditor.java index f266e11..d31c8e9 100644 --- a/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/internal/WebBrowserEditor.java +++ b/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/internal/WebBrowserEditor.java @@ -16,7 +16,7 @@ import net.sourceforge.phpeclipse.webbrowser.IWebBrowserEditorInput; import net.sourceforge.phpeclipse.webbrowser.WebBrowserEditorInput; import org.eclipse.core.resources.IFile; -import org.eclipse.core.resources.IMarker; +//import org.eclipse.core.resources.IMarker; import org.eclipse.core.resources.IResource; import org.eclipse.core.resources.IResourceChangeEvent; import org.eclipse.core.resources.IResourceChangeListener; @@ -184,8 +184,8 @@ public class WebBrowserEditor extends EditorPart { * * @see IEditorPart */ - public void gotoMarker(IMarker marker) { - } +// public void gotoMarker(IMarker marker) { +// } /* * (non-Javadoc) Initializes the editor part with a site and input.

@@ -204,7 +204,7 @@ public class WebBrowserEditor extends EditorPart { URL url = null; try { if (file != null && file.exists()) - url = file.getLocation().toFile().toURL(); + url = file.getFullPath().toFile().toURL(); } catch (Exception e) { Trace.trace(Trace.SEVERE, "Error getting URL to file"); } @@ -267,13 +267,13 @@ public class WebBrowserEditor extends EditorPart { * * @return boolean */ - public boolean isToolbarVisible() { - IWebBrowserEditorInput input = getWebBrowserEditorInput(); - if (input == null || input.isToolbarVisible()) - return true; - else - return false; - } +// public boolean isToolbarVisible() { +// IWebBrowserEditorInput input = getWebBrowserEditorInput(); +// if (input == null || input.isToolbarVisible()) +// return true; +// else +// return false; +// } /** * Open the input in the internal Web browser.