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;
*
* @see IEditorPart
*/
- public void gotoMarker(IMarker marker) {
- }
+// public void gotoMarker(IMarker marker) {
+// }
/*
* (non-Javadoc) Initializes the editor part with a site and input. <p>
*
* @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.