e096266144212d1eee5077683f7648666b053d26
[phpeclipse.git] /
1 package net.sourceforge.phpeclipse.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 }