c00925bea34a9b5f57b1a5f5df88dbb3e601d09a
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / org / eclipse / webbrowser / IExternalWebBrowser.java
1 package org.eclipse.webbrowser;
2 /**
3  * 
4  */
5 public interface IExternalWebBrowser extends IWebBrowser {
6         public String getLocation();
7         
8         public String getParameters();
9         
10         public void delete();
11         
12         public boolean isWorkingCopy();
13         
14         public IExternalWebBrowserWorkingCopy getWorkingCopy();
15 }